Browsing "2. Conference Papers" by  JournalInternational Workshop on Formal Techniques for Safety-Critical Systems
Showing results 1 to 1 of 1
Conference
International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
1