Search results for: Peter Popov
Reliability Engineering & System Safety > 2017 > 167 > C > 198-217
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Design for Safety > 272-285
Lecture Notes in Computer Science > Architecting Dependable Systems III > Part 1. Architectures for Dependable Services > 92-121
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment I > 294-308
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods (Poster Session) > 139-150
Lecture Notes in Computer Science > Numerical Analysis and Its Applications > Contributed Talks > 476-485
Lecture Notes in Computer Science > Architecting Dependable Systems II > Part 2. Fault Tolerance in Software Architectures > 191-214
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 1: Ram Evaluation 1 > 1-14
Performability Engineering Series > Quantitative Assessments of Distributed Systems > Optimization and Sustainability > 223 - 264
Grundwasser > 2015 > 20 > 3 > 181-195
Reliability Engineering and System Safety > 2014 > 130 > Complete > 61-68
Reliability Engineering and System Safety > 2013 > 117 > Complete > 98-113
International Journal of Plasticity > 2012 > 32-33 > Complete > 155-183