Formal approach to fault diagnosis in distributed discrete event systems with OBDD

✍ Scribed by Fei Xue; Lu Yan

• Book ID: 106573620
• Publisher: Springer
• Year: 2007
• Tongue: English
• Weight: 231 KB
• Volume: 3
• Category: Article
• ISSN: 1614-5046
• DOI: 10.1007/s11334-007-0032-1