Martin Hautzendorfer

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
Formal Verification of Control Software: A Case Study. IEA/AIE (2005)