|
220
|
Seven myths of formal methods
– A Hall
- 1990
|
|
59
|
Safety-Critical Systems, Formal Methods and Standards
– Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou
- 1993
|
|
33
|
Formal Methods in Safety-Critical Standards
– Jonathan P. Bowen, Andrew Tanenbaum
- 1993
|
|
85
|
Ten Commandments of Formal Methods
– Jonathan P. Bowen, Michael G. Hinchey
- 1994
|
|
102
|
Seven More Myths of Formal Methods
– Jonathan P. Bowen, Michael G Hinchey
- 1995
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
613
|
Systematic Software Development using VDM
– C Jones
- 1990
|
|
95
|
An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions
– Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown
- 1993
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
51
|
Intergrated Structured Analysis and Formal Speci cation Techniques
– L T Semmens, R B France, T W G Docker
- 1992
|
|
1962
|
Statecharts: A Visual Formalism For Complex Systems
– David Harel
- 1987
|
|
5
|
Formal methods: Epideictic or apodeictic
– J P Bowen, V Stavridou
- 1994
|
|
1618
|
ObjectOriented Modeling and Design
– J Rumbaugh, M Blaha, W Premerlani, F Eddy, W Lorensen
- 1991
|
|
81
|
Formal Methods for Interactive Systems
– Alan John Dix
- 1991
|
|
1055
|
The Z Notation: A Reference Manual
– J M Spivey
- 1992
|
|
3
|
Formal Foundations for SSADM. Habilitation Thesis, Technische Universität
– H Hussmann
- 1994
|
|
53
|
Experience with Formal Methods in Critical Systems
– S L Gerhart, D Craigen, T Ralston
- 1994
|
|
53
|
Formal Methods Reality Check: Industrial Usage
– D Craigen, S L Gerhart, T Ralston
- 1995
|
|
23
|
Formal Methods: A Survey
– S Austin, G I Parkin
- 1993
|
