Compositional model checking of software product lines using variation point obligations

✍ Scribed by Jing Liu; Samik Basu; Robyn R. Lutz

• Book ID: 106356292
• Publisher: Springer US
• Year: 2010
• Tongue: English
• Weight: 961 KB
• Volume: 18
• Category: Article
• ISSN: 0928-8910
• DOI: 10.1007/s10515-010-0075-7