default search action

combined dblp search
author search
venue search
publication search

ask others

Software and Systems Safety - Specification and Verification 2011

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/natosec/30
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/30
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
- view
  authority control:
- export record
  dblp key:
  - series/natosec/TimmerBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/TimmerBS11
Mark Timmer, Ed Brinksma, Mariëlle Stoelinga:
Model-Based Testing. 1-32
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Broy11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Broy11
Manfred Broy:
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. 33-87
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Ghezzi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Ghezzi11
Carlo Ghezzi:
Engineering Evolving and Self-Adaptive Systems: An Overview. 88-102
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Harrison11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Harrison11
John Harrison:
Formal Verification. 103-157
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Heitmeyer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Heitmeyer11
Constance L. Heitmeyer:
Requirements Models for Critical Systems. 158-181
- view
  authority control:
- export record
  dblp key:
  - series/natosec/HermannsZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/HermannsZ11
Holger Hermanns, Lijun Zhang:
From Concurrency Models to Numbers - Performance and Dependability. 182-210
- view
  authority control:
- export record
  dblp key:
  - series/natosec/HoareW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/HoareW11
Tony Hoare, John Wickerson:
Unifying Models of Data Flow. 211-230
- view
  authority control:
- export record
  dblp key:
  - series/natosec/FahrenbergLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/FahrenbergLT11
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. 231-259
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Peled11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Peled11
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.