TU Darmstadt / ULB / TUbiblio

The NoC Verification Case Study with KeY-ABS

Din, Crystal Chang and Tarifa, Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch (2015):
The NoC Verification Case Study with KeY-ABS.
[Report]

Item Type: Report
Erschienen: 2015
Creators: Din, Crystal Chang and Tarifa, Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch
Title: The NoC Verification Case Study with KeY-ABS
Language: German
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2015-0030
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item