✦ LIBER ✦

A formal approach to protocol interoperability testing

✍ Scribed by Ruibing Hao; Jianping Wu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal method to real-time protocol in

✍ ZhiLiang Wang; Xia Yin; ChuanMing Jing 📂 Article 📅 2008 🏛 Science in China Press (SCP) 🌐 English ⚖ 917 KB

A formal approach to protocol performanc

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

A formal approach to property testing in

✍ H. H. Hallal; S. Boroday; A. Petrenko; A. Ulrich 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 395 KB

An approach to formalizing specification

✍ Huai-kou Miao; Ling Liu 📂 Article 📅 2006 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 654 KB

A less formal approach to kaluza—klein f

✍ M. A. McKiernan 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 851 KB

A less formal approach to kaluza-klein f

✍ M. A. McKiernan 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 91 KB