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.

Book Section

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), University of Oslo, pp. 38-40, [Online-Edition: https://www.duo.uio.no/bitstream/handle/10852/57814/uioRepor...],
[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.

This list was generated on Tue Feb 25 02:17:02 2020 CET.