[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Synthesis of synchronous assertions with guarded atomic actions

✍ Scribed by Pellauer, M.; Liz, M.; Baltus, D.; Nikhi, R.

• Book ID: 118053238
• Publisher: IEEE
• Year: 2005
• Tongue: English
• Weight: 559 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780780392274
• DOI: 10.1109/memcod.2005.1487886