| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 1st SESAR Innovation Days |
| Publication status | Published - Aug 2011 |
ASHiCS: Automating the Search for Hazards in Complex Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution