The formal specification of safety requirements for storing explosives

DOI10.1007/BF01212405MaRDI QIDQ684392zbMATH OpenOpenAlexFDO

Authors Paul Mukherjee, Victoria Stavridou

Publication date 15 September 1993

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01212405

zbMATH Keywords

ammunition control systemDefence standard 00-55formal specificationOBJ3software safetyUN orange bookVDM

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Response to ``The formal specification of safety requirements for storing explosives
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 1105197
• scientific article; zbMATH DE number 1746671
• Formal specification of security requirements using the theory of normative positions

Cites work

• The formal specification of safety requirements for storing explosives

Cited in

(3)

• Response to ``The formal specification of safety requirements for storing explosives
• A formal semantics of data flow diagrams
• The formal specification of safety requirements for storing explosives

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication: The formal specification of safety requirements for storing explosives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684392)