✦ LIBER ✦

A formal method to real-time protocol interoperability testing

✍ Scribed by ZhiLiang Wang; Xia Yin; ChuanMing Jing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach to protocol interopera

✍ Ruibing Hao; Jianping Wu 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 812 KB

A formal approach to protocol performanc

✍ Mingwei Xu; Jianping Wu 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 468 KB

A scalable method for testing real-time

✍ Abdeslam En-Nouaary 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 739 KB

Sokrates-SA - A formal method for specif

✍ Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 730 KB

Wireless protocol testing and validation

✍ Manuel J. Fernández-Iglesias; Juan C. Burguillo-Rial; Francisco J. González-Cast 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 536 KB

Verification of a Leader Election Protoc

✍ Marco Devillers; David Griffioen; Judi Romijn; Frits Vaandrager 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 97 KB