Deriving real-time action systems with multiple time bands using algebraic reasoning

✍ Scribed by Dongol, Brijesh; Hayes, Ian J.; Derrick, John

• Book ID: 123199958
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 589 KB
• Volume: 85
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2013.08.009