Houston, I. and King, S. 1991. CICS Project Report: Experiences and Results from the use of Z. In Proceedings of VDM'91, Vol. 551. Lecture Notes in Computer Science. Springer-Verlag. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Tool Support for Production Use of Formal Techniques - Knight, Hanks, Travis (2001) (1 citation) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1992) (11 citations) (Correct)
A Pragmatic, Rigorous Integration of Structural and Behavioral .. - Berry, Weber (1997) (Correct)
Select Z Bibliography - Bowen (1993) (Correct)
Integrating Z and Cleanroom - Stavely (Correct)
A Pragmatic, Rigorous Integration of Structural and Behavioral .. - Berry, Weber (1996) (Correct)
The Industrial Take-up of Formal Methods in Safety-Critical.. - Bowen, Stavridou (1993) (15 citations) (Correct)
Combining VDM-SL Specifications with C++ Code - Fröhlich, Larsen (1996) (2 citations) (Correct)
Combining VDM-SL Specifications with C++ Code - Fröhlich, Larsen (1996) (2 citations) (Correct)
Structural Operational Semantics as a Basis for Formal Methods - Degano, Priami (1996) (Correct)
Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996) (221 citations) (Correct)
Embedding Mathematical Techniques in System Engineering - Heisel, Jähnichen, Simons.. (Correct)
Ten Commandments of Formal Methods - Bowen, Hinchey (1995) (45 citations) (Correct)
The Role of Formal Methods in Software Engineering Education.. - Colin Burgess (1995) (Correct)
Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996) (221 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
An Invoicing Case Study in Z - Bowen (1998) (Correct)
Combining Statecharts and Z for the Design of Safety-Critical.. - Weber (1996) (15 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
The Role of Formal Methods in Software Engineering - Education And Industry (Correct)
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
Select Z Bibliography - Bowen (1994) (Correct)
Select Z Bibliography - Bowen (1993) (Correct)
Formal Methods For Life-Critical Software - Ricky Butler Sally (1993) (3 citations) (Correct)
The Practice of Formal Methods in Safety Critical Systems - Liu, Stavridou, Dutertre (1995) (4 citations) (Correct)
Select Z Bibliography - Bowen (1994) (Correct)
Select Z Bibliography - Bowen (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC