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

✍ Scribed by Könighofer, Robert; Hofferek, Georg; Bloem, Roderick

• Book ID: 121622084
• Publisher: Springer
• Year: 2011
• Tongue: English
• Weight: 958 KB
• Volume: 15
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-011-0221-y