Peter Gorm Larsen

Books
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2026
Alene i båd mod nord. Alene i båd mod nord.
Alene i båd mod nord.
2025
Collaborative Design for Embedded Systems Collaborative Design for Embedded Systems
Collaborative Design for Embedded Systems
2014
Validated Designs for Object-oriented Systems Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems
2005