4
Publications
154
Citations
4
H-Index
1992
Active since
Affiliations
Delft University of Technology(Current)
Nico Plat is an author at Delft University of Technology specializing in systems engineering, system software, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareFormal VerificationSystems EngineeringFormal SpecificationSoftware EngineeringSyntaxBusiness
Publications per year
1992–2000
4
4
An overview of the ISO/VDM-SL standard
Nico Plat, Peter Gorm Larsen · ACM SIGPLAN Notices · 1992 · 55 citations
Engineering, Electronic Design Automation, Modeling Notation +23
A Formal Semantics of Data Flow Diagrams
Peter Gorm Larsen, Nico Plat, Hans Toetenel · Formal Aspects of Computing · 1994 · 47 citations · Full text
The Cash-Point (ATM) ‘Problem’
Tim Denvir, José N. Oliveira, Nico Plat · Formal Aspects of Computing · 2000 · 16 citations · Full text
Rows per page
1–4 of 4