Event-B formalisation for dynamic composition a logistics-based process as a use case

Bibliographische Detailangaben

Veröffentlicht in:	Business Process Management Workshops
Weitere Verfasser:	Hamel, Lazhar (BerichterstatterIn), Graiet, Mohamed (BerichterstatterIn), Kmimech, Mourad (BerichterstatterIn), Bhiri, Mohamed Tahar (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2013
Schlagworte:	Aufsatz im Buch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!