Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Suchergebnisse