3 citations found. Retrieving documents...
MoD91. MoD, Interim Defence Standard 00-55: Requirements for the Procurement of Safety Critical Software, 1991.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Specifying Temporal Requirements for Distributed Real-Time.. - Andrew Coombes John (1992)   (11 citations)  (Correct)

No context found.

MoD91. MoD, Interim Defence Standard 00-55: Requirements for the Procurement of Safety Critical Software, 1991.


Specifying Temporal Requirements for Distributed Real-Time.. - Andrew Coombes John (1992)   (11 citations)  (Correct)

No context found.

MoD91. MoD, Interim Defence Standard 00-55: Requirements for the Procurement of Safety Critical Software, 1991.


CADiZ: An Architecture for Z Tools and its Implementation - Toyn, McDermid (1993)   (3 citations)  (Correct)

No context found.

MOD91. MOD, Interim Defence Standard 00-55: Requirements For The Procurement of Safety Critical Software, 1991.

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