✦ LIBER ✦

Testing timed systems modeled by Stream X-machines

✍ Scribed by Mercedes G. Merayo; Manuel Núñez; Robert M. Hierons

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Complete deterministic stream X-machine

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

An Integrated Refinement and Testing Met

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

Generalised Stream X-Machines and Cooper

✍ Marian Gheorghe 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 149 KB

Generating Test Sets from Non-Determinis

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 172 KB