✦ LIBER ✦

Checking experiments for stream X-machines

✍ Scribed by Robert M. Hierons

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "Checking Experiments for Se

✍ Wakimura, Y.; Yoshida, N. 📂 Article 📅 1975 🏛 IEEE 🌐 English ⚖ 371 KB

Testing (Stream) X-machines

✍ Florentin Ipate; Marian Gheorghe; Mike Holcombe 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 201 KB

Testing Conditions for Communicating Str

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 182 KB

An Integrated Refinement and Testing Met

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 297 KB

Complete deterministic stream X-machine

✍ Florentin Ipate 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 155 KB

Generalised Stream X-Machines with Outpu

✍ Tudor Bălănescu 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 136 KB