Integration and Evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover Case Study

Bibliographische Detailangaben

Hauptverfasser:	Bourbouh, Hamza, Farrell, Marie, Mavridou, Anastasia, Sljivo, Irfan
Format:	Report
Sprache:	eng
Schlagworte:	Mathematical And Computer Sciences (General)
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!