Metadata only
Date
2011Type
- Book Chapter
ETH Bibliography
yes
Altmetrics
Publication status
publishedBook title
FORMS/FORMAT 2010 : formal methods for automation and safety in railway and automotive systemsPages / Article No.
Publisher
SpringerSubject
Risk Analysis,; Hot Box Detection Systems; BP-RiskOrganisational unit
03674 - Weidmann, Ulrich / Weidmann, Ulrich
02226 - NSL - Netzwerk Stadt und Landschaft / NSL - Network City and Landscape
02655 - Netzwerk Stadt u. Landschaft ARCH u BAUG / Network City and Landscape ARCH and BAUG
More
Show all metadata
ETH Bibliography
yes
Altmetrics