Searching for authors named Nico Plat – sorted by Relevance.
6 documents found, showing 1 through 6.
-
AEVDM Action-Event Modeling using an extended VDM-SL
- … Nico Plat Hans Toetenel Technische Universiteit Delft Delft University of Technology Faculteit der…
- Add To MetaCart
-
An Overview of the ISO/VDM-SL Standard
- …1 An Overview of the ISO/VDM-SL Standard Nico Plat y Peter Gorm Larsen y Delft University…
- Cited by 11 (0 self) – Add To MetaCart
-
Standards for Non-Executable Specification Languages
- … Computer Science (IFAD) Forskerparken 10, DK-5230 Odense M, Denmark Nico Plat Delft University…
- Cited by 5 (0 self) – Add To MetaCart
-
Towards an integrated combination of SA and VDM
- …SVDM: An Integrated Combination of SA and VDM Peter Gorm Larsen Jan van Katwijk Nico Plat Kees…
- Cited by 4 (1 self) – Add To MetaCart
-
A Formal Semantics of Data Flow Diagrams
- …A Formal Semantics of Data Flow Diagrams Peter Gorm Larsen, Nico Plat and Hans Toetenel November…
- Cited by 12 (1 self) – Add To MetaCart
-
SVDM: An Integrated Combination of SA and VDM
- …SVDM: An Integrated Combination of SA and VDM Peter Gorm Larsen Jan van Katwijk Nico Plat Kees…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 6.
