Software and Systems Safety - Specification and Verification 2011
Manfred Broy, Christian Leuxner, Tony Hoare (Eds.): Software and Systems Safety - Specification and Verification. IOS Press 2011 NATO Science for Peace and Security Series - D: Information and Communication Security ISBN 978-1-60750-710-9- Manfred Broy: Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. 33-87
- Carlo Ghezzi: Engineering Evolving and Self-Adaptive Systems: An Overview. 88-102
- John Harrison: Formal Verification. 103-157
- Constance L. Heitmeyer: Requirements Models for Critical Systems. 158-181
- Holger Hermanns, Lijun Zhang: From Concurrency Models to Numbers - Performance and Dependability. 182-210
- Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Model-Based Verification and Analysis for Real-Time Systems. 231-259
- Doron Peled: Model Checking. 260-281
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team