[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - LOTOS code generation for model checking of STBus based SoC: the STBus interconnection

✍ Scribed by Wodey, P.; Camarroque, G.; Baray, F.; Hersemeule, R.; Cousin, J.-P.

• Book ID: 126844503
• Publisher: IEEE
• Year: 2003
• Weight: 367 KB
• Category: Article
• ISBN-13: 9780769519234
• DOI: 10.1109/memcod.2003.1210105