Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Design and Safety Assessment of Critical Systems
Design and Safety Assessment of Critical Systems
Safety, Dependability and Performance Analysis of Extended AADL Models
The Computer Journal
System-Software Co-Engineering: Dependability and Safety Perspective
SMC-IT '11 Proceedings of the 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
| Hi-index | 0.00 |