Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
12 Publications
2009 | Conference Paper | LibreCat-ID: 37063
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
2006 | Conference Paper | LibreCat-ID: 38107
A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat
| DOI
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.