A formal semantics of data flow diagrams
type: Item
instance of: scholarly article
title: A formal semantics of data flow diagrams
zbMATH Open document ID: 0828.68095
DOI: 10.1007/BF01211868
author: Peter Gorm Larsen
author: Nico Plat
author: Hans Toetenel
published in: Formal Aspects of Computing
publication date: 1995-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 741020
zbMATH Keywords: semantics of data flow diagrams
zbMATH Keywords: structured analysis
zbMATH Keywords: VDM specification
Wikidata QID: Q57733872
MaRDI profile type: Publication
cites work: The formal specification of safety requirements for storing explosives
DBLP publication ID: journals/fac/Larsen94
description: scientific article; zbMATH DE number 741020