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

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bourbouh, Hamza, Farrell, Marie, Mavridou, Anastasia, Sljivo, Irfan
Format: Report
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: