✦ LIBER ✦

Model matching for finite-state machines

✍ Scribed by Di Benedetto, M.D.; Sangiovanni-Vincentelli, A.; Villa, T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation, the Supervisory Control Pr

✍ George Barrett; Stéphane Lafortune 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 433 KB

Model matching inclusion for input/state

✍ Jung-Min Yang 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Learning finite-state models for machine

✍ Francisco Casacuberta; Enrique Vidal 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 443 KB

Model matching for asynchronous sequenti

✍ Jung-Min Yang; Seong Woo Kwak 📂 Article 📅 2010 🏛 Institute of Control, Robotics and Systems and The 🌐 English ⚖ 345 KB

OnTL-finite state machines

✍ Kim, Jae-Gyeom ;Cho, Sung-Jin ;Kim, Seok-Tae 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 376 KB

Stochastic Finite-State Models for Spoke

✍ Srinivas Bangalore; Giuseppe Riccardi 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 212 KB