𝔖 Bobbio Scriptorium

✦ LIBER ✦

Deadlock detection in communicating finite state machines by even reachability analysis

✍ Scribed by Wuxu Peng

Book ID: 110323047
Publisher: Springer US
Year: 1997
Tongue: English
Weight: 448 KB
Volume: 2
Category: Article
ISSN: 1383-469X
DOI: 10.1023/a:1013640918785

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reverse reachability analysis: A new tec

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

✍ Yung-Chen Hung; Gen-Huey Chen 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 792 KB

[IEEE IECON 2011 - 37th Annual Conferenc

[IEEE IECON 2011 - 37th Annual Conference of IEEE Industrial Electronics - Melbourne, Vic, Australia (2011.11.7-2011.11.10)] IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society - Analysis of rotor fault detection in inverter fed induction machines at no load by means of finite element method

✍ Samonig, M.A.; Nussbaumer, P.; Stojicic, G.; Wolbank, Th.M. 📂 Article 📅 2011 🏛 IEEE ⚖ 877 KB