by AlAttili, Israa, Houben, Fred, Igna, Georgeta, Michels, Steffen, Zhu, Feng, Vaandrager, Frits
Published in Electronic proceedings in theoretical computer science (10.12.2009)

by Houben, Fred, Igna, Georgeta, Vaandrager, Frits
Published in International journal on software tools for technology transfer (01.06.2013)

by Houben, F., Igna, G., Vaandrager, F.
Published in 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium (01.04.2012)

by Basten, Twan, van Benthum, Emiel, Geilen, Marc, Hendriks, Martijn, Houben, Fred, Igna, Georgeta, Reckers, Frans, de Smet, Sebastian, Somers, Lou, Teeselink, Egbert, Trčka, Nikola, Vaandrager, Frits, Verriet, Jacques, Voorhoeve, Marc, Yang, Yang
Published in Leveraging Applications of Formal Methods, Verification, and Validation

by AlAttili, Israa, Houben, Fred, Igna, Georgeta, Michels, Steffen, Zhu, Feng, Vaandrager, Frits
Published in arXiv.org (10.12.2009)