The formal specification of safety requirements for storing explosives

DOI10.1007/BF01212405zbMATH Open0774.68031OpenAlexW1986699246MaRDI QIDQ684392

Victoria Stavridou, Paul Mukherjee

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

formal specificationVDMammunition control systemDefence standard 00-55OBJ3software safetyUN orange book

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• The formal specification of safety requirements for storing explosives

Related Items (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

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)