Search results for: Michele Minichino
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Dependability Analysis and Evaluation > 310-322
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Transportation > 142-154
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods > 273-283
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment > 212-223
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 141-155
IFIP — The International Federation for Information Processing > What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience > Part 2: Critical Information Infrastructure Protection Conference (CIP 2010) > 350-362