Cited By
View all- Ishakian VLapets ABestavros AKfoury A(2011)Formal Verification of SLA TransformationsProceedings of the 2011 IEEE World Congress on Services10.1109/SERVICES.2011.16(540-547)Online publication date: 4-Jul-2011
- Reichert TKlaus ESchoch WMeroth AHerzberg DSchäfer WDwyer MGruhn V(2008)A language for advanced protocol analysis in automotive networksProceedings of the 30th international conference on Software engineering10.1145/1368088.1368171(593-602)Online publication date: 15-May-2008
- Botaschanjan JBroy MGruler AHarhurin AKnapp SKof LPaul WSpichkova M(2008)On the correctness of upper layers of automotive systemsFormal Aspects of Computing10.1007/s00165-008-0097-020:6(637-662)Online publication date: 25-Nov-2008
- Show More Cited By