Description of composite actions - Towards a formalization of safety functions

Research output: Book/ReportReport

Original languageEnglish
Place of PublicationDK- Kgs. Lyngby
PublisherTechnical University of Denmark
Publication statusPublished - 2004

Cite this