Formal verification of UML2 timing diagrams based on Time Petri Nets

Bibliographische Detailangaben

Veröffentlicht in:	International journal of information systems in the service sector
1. Verfasser:	Louati, Aymen (VerfasserIn)
Weitere Verfasser:	Barkaoui, Kamel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	April-June 2016
Schlagworte:	Aufsatz in Zeitschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!