Lars Ebrecht, Karsten Lemmer. Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen. In Peter Holleczek, Birgit Vogel-Heuser, editors, Mobilität und Echtzeit - PEARL 2007, Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time), Boppard, 6./7. Dezember 2007. Informatik Aktuell, pages 49-58, Springer, 2007. [doi]
Abstract is missing.