default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Safety - Specification and Verification 2011
- Manfred Broy, Christian Leuxner, Tony Hoare:
Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, ISBN 978-1-60750-710-9 - Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
:
Model-Based Testing. 1-32 - 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 - Tony Hoare, John Wickerson:
Unifying Models of Data Flow. 211-230 - Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. 231-259 - Doron A. Peled:
Model Checking. 260-281
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
