Fingerprint
Untersuchen Sie die Forschungsthemen von „Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Robert Könighofer*, Georg Hofferek, Roderick Paul Bloem
*Korrespondierende/r Autor/-in für diese Arbeit
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung