Wyniki wyszukiwania dla: Francesca Saglietti
Lecture Notes in Computer Science > Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance > Full Papers > 24-38
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods III - Petri Nets > 319-328
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Modelling > 426-438
Lecture Notes in Computer Science
Probabilistic Safety Assessment and Management > Software and Hardware Diversity and Failure Dependence > 1864-1869
Information Security Technical Report > 2008 > 13 > 1 > 10-16
Real-Time Systems > 2004 > 28 > 2-3 > 217-236
Annual Reviews in Control > 2003 > 27 > 1 > 23-37