An Introduction to Formal Methods for the Development of Safety-critical Applications

Activity: Public and private sector consultancyPublic sector consultancy

View graph of relations

Anne Elisabeth Haxthausen - Consultant

Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
1 Sep 2010

External organisation

NameTrafikstyrelsen (Danish Transport Authority)

Publications

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 137487040