Sciweavers

8 search results - page 1 / 2
» safecomp 1999
Sort
View
SAFECOMP
1999
Springer
13 years 9 months ago
SQUALE Dependability Assessment Criteria
Yves Deswarte, Mohamed Kaâniche, Pierre Corn...
SAFECOMP
1999
Springer
13 years 9 months ago
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science
Peter T. Popov, Lorenzo Strigini, Alexander B. Rom...
SAFECOMP
1999
Springer
13 years 9 months ago
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza R...
SAFECOMP
1999
Springer
13 years 9 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...