Modeling and formal verification of the Fairisle ATM switch fabric using MDGs

✍ Scribed by Tahar, S.; Xiaoyu Song; Cerny, E.; Zijian Zhou; Langevin, M.; Ait-Mohamed, O.

• Book ID: 119778484
• Publisher: IEEE
• Year: 1999
• Tongue: English
• Weight: 262 KB
• Volume: 18
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/43.771178