✦ LIBER ✦

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 2644 || A Guided Method for Testing Timed Input Output Automata

✍ Scribed by Hogrefe, Dieter; Wiles, Anthony

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test

✍ Hogrefe, Dieter; Wiles, Anthony 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 266 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 280 KB

[Lecture Notes in Computer Science] Test

✍ Groz, Roland; Hierons, Robert M. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 522 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 262 KB

[Lecture Notes in Computer Science] Form

✍ Lakhnech, Yassine; Yovine, Sergio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 274 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 277 KB