Nico Plat - Concepedia

Author

Nico Plat

Also Known As

N. Plat, Nico Plat, Plat, Nico

Publications

242

Citations

H-Index

Concepts

All Affiliations

Nico Plat is an author at Delft University of Technology specializing in systems engineering, system software, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	91
2	Business	1	1	36
3	Language Studies	1	1	55
4	Computer Engineering	1	1	55
5	Computer Science	1	1	55

Nico Plat

Publications

154

Citations

H-Index

Page 1

	Year	Citations
An overview of the ISO/VDM-SL standard Nico Plat, Peter Gorm Larsen ACM SIGPLAN Notices EngineeringElectronic Design AutomationModeling NotationSoftware EngineeringSemantics	1992	55
A Formal Semantics of Data Flow Diagrams Peter Gorm Larsen, Nico Plat, Hans Toetenel Formal Aspects of Computing	1994	47
Application and benefits of formal methods in software development Nico Plat, J. van Katwijk, Hans Toetenel Software Engineering Journal Software MaintenanceEngineeringSoftware SystemsVerificationSoftware Studies	1992	36
The Cash-Point (ATM) ‘Problem’ Tim Denvir, José N. Oliveira, Nico Plat Formal Aspects of Computing	2000	16

Page 1