IFIP13
2004
13 years 6 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...