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
Jump to: 2017 | 2015
Number of items: 2.

2017

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]

2015

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 Feb 18 01:28:40 2020 CET.