TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Steinhöfel, Dominic Ábrahám, Erika and Tarifa, Lizeth Tapia (eds.) (2017):
Assessing the Coverage of Formal Specifications (Extended Abstract).
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), pp. 38-40, University of Oslo, ISBN 978-82-7368-435-6,
[Book Section]

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]

This list was generated on Tue Jan 26 01:48:03 2021 CET.