DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems

✍ Scribed by Jean-Luc Paillet; Norbert Giambiasi

• Book ID: 110337919
• Publisher: Springer Netherlands
• Year: 2002
• Tongue: English
• Weight: 338 KB
• Volume: 34
• Category: Article
• ISSN: 0921-0296
• DOI: 10.1023/a:1015548507922