Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Search by expertise, name or affiliation
Formal Methods: A Tutorial on Model-oriented Specification
Haxthausen, A. E.
Public and private sector consultancy
Public sector consultancy
Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
14 Oct 2010