A formal semantics of data flow diagrams

DOI10.1007/BF01211868zbMath0828.68095DBLPjournals/fac/Larsen94WikidataQ57733872 ScholiaQ57733872MaRDI QIDQ1346602

Peter Gorm Larsen, Hans Toetenel, Nico Plat

Publication date: 6 April 1995

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

zbMATH Keywords

VDM specificationsemantics of data flow diagramsstructured analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• The formal specification of safety requirements for storing explosives

This page was built for publication: A formal semantics of data flow diagrams