The Industrial Take-up of Formal Methods in Safety-Critical And Other Areas: A Perspective (1993)

Cached

Download Links

by Jonathan Bowen , Victoria Stavridou
Citations:32 - 8 self

Active Bibliography

33 Formal Methods in Safety-Critical Standards – Jonathan P. Bowen, Andrew Tanenbaum - 1993
59 Safety-Critical Systems, Formal Methods and Standards – Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou - 1993
14 The Use of Industrial-Strength Formal Methods – Jonathan P. Bowen, Michael G. Hinchey - 1997
9 Formal Methods and Software Safety – J. P. Bowen, V. Stavridou - 1992
1 Formal Methods and Mechanical Verification applied to the development of a convergent distributed sorting program – T.E.J. Vos, S. D. Swierstra, I. S. W. B. Prasetya - 1996
85 Ten Commandments of Formal Methods – Jonathan P. Bowen, Michael G. Hinchey - 1994
8 The Practice of Formal Methods in Safety Critical Systems – Shaoying Liu, Victoria Stavridou, Bruno Dutertre, Shaoying Liu Victoria Stavridou - 1995
6 System and Software Safety in Critical Systems – Ulla Isaksen, Jonathan P. Bowen, Nimal Nissanke - 1996
1 A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694 – Jonathan P. Bowen, C.A.R. Hoare, Hans Langmaack, Ernst-Rüdiger Olderog, Anders P. Ravn, Jonathan Bowen Et Al - 1998
A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694 – Jonathan P. Bowen - 1994
4 Managerial Issues for the Consideration and Use of Formal Methods – Donna C. Stidolph, James Whitehead - 2003
14 Seven More Myths of Formal Methods: Dispelling Industrial Prejudices – Jonathan P. Bowen, Michael G. Hinchey - 1994
Bibliography – George Adelman Editor, George Adelman, Encyclopedia Of Neuroscience, Volume I. Birkhauser, Jennifer S. Altman, Jenny Kien, New Neural Computation, Charles W. Anderson
The VDM Bibliography – Peter Gorm, Peter Gorm Larsen (editor
17 Developing Correct Systems – Jonathan P. Bowen, Martin Fränzle, Ernst-Rüdiger Olderog, Anders P. Ravn - 1993
1 Formal Methods For Life-Critical Software – Ricky Butler Sally, Sally C. Johnson - 1993
8 Applying Formal Methods to Standard Development: The Open Distributed Processing Experience – Richard O. Sinnott, Kenneth J. Turner - 1994
5 The use of Formal Models in the Design of Interactive Case Memory Systems – Andrew Mark Dearden - 1995
9 Provably Correct Systems – Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel - 1994