public marks

PUBLIC MARKS with tags formal-methods & railway

29 March 2006 11:00

AG RVS - The Why-Because Analysis Homepage

by GeorgesMariano
Why-Because Analysis (WBA) is a rigorous technique for causally analysing the behaviour of complex technical and socio-technical systems. Its primary application is in the analysis of accidents, mainly to transportation systems (air, rail and sea). It is

PUBLIC TAGS related to tag formal-methods

del.icio.us +   railway +  

Active users

GeorgesMariano
last mark : 29/03/2006 11:07