✦ LIBER ✦

Method of analysing extended finite-state machine specifications

✍ Scribed by Behçet Sarikaya; Vassilios Koukoulidis; Gregor V Bochmann

Book ID: 107885722
Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 921 KB
Volume: 13
Category: Article
ISSN: 0140-3664
DOI: 10.1016/0140-3664(90)90175-g

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implementation of supervisory control us

Implementation of supervisory control using extended finite-state machines

✍ Yang, Y.; Mannani, A.; Gohari, P. 📂 Article 📅 2008 🏛 Taylor and Francis Group 🌐 English ⚖ 307 KB

Automated verification of responsive pro

Automated verification of responsive protocols modeled by extended finite state machines

✍ Yoshiaki Kakuda; Tohru Kikuno; Kenichi Kawashima 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 940 KB

The temporal Boolean derivative applied

The temporal Boolean derivative applied to verification of extended finite state machines

✍ E. Vandermeulen; H.A. Donegan; M. Larnac; J. Magnier 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 544 KB

Extended finite state machines are an important feature of modern computers. Their verification, unlike sequential system testing, is very complex and has received little attention in literature. This paper suggests a model based on a symbolic representation to describe the temporal behavior of sequ

State assignment of finite-state machine

State assignment of finite-state machines

✍ Ahmad, I.; Dhodhi, M.K. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 187 KB

Comparing finite state machine test

✍ Simao, A.; Petrenko, A.; Maldonado, J.C. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 760 KB

Compositional minimisation of finite sta

Compositional minimisation of finite state systems using interface specifications

✍ Susanne Graf; Bernhard Steffen; Gerald Lüttgen 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 632 KB