Download of KB3 tutorial with Skelbo library.mp4 (KB3 tutorial with Skelbo library.mp4 ( external link: SF.net): 38,379,884 bytes) will begin shortly. If not so, click link on the left.
Environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://innovation.edf.com/). KB3 is based on the FIGARO reliability modeling language (simulation of continuous time, discrete states stochastic processes). Look at "Browse All Files" page.