The formal specification of safety requirements for storing explosives
type: Item
instance of: scholarly article
title: The formal specification of safety requirements for storing explosives
zbMATH Open document ID: 0774.68031
DOI: 10.1007/BF01212405
author: Paul Mukherjee
author: Victoria Stavridou
published in: Formal Aspects of Computing
publication date: 1993-09-15T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 411693
zbMATH Keywords: software safety
zbMATH Keywords: formal specification
zbMATH Keywords: UN orange book
zbMATH Keywords: ammunition control system
zbMATH Keywords: Defence standard 00-55
zbMATH Keywords: VDM
zbMATH Keywords: OBJ3
describes a project that uses: OBJ3
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf01212405
OpenAlex ID: W1986699246
description: scientific article; zbMATH DE number 411693