Assume-guarantee verification of software components in SOFA 2 framework

✍ Scribed by Parizek, P.; Plasil, F.

• Book ID: 114445016
• Publisher: The Institution of Engineering and Technology
• Year: 2010
• Tongue: English
• Weight: 600 KB
• Volume: 4
• Category: Article
• ISSN: 1751-8806
• DOI: 10.1049/iet-sen.2009.0016