✦ LIBER ✦

Measuring the maintainability of a communication protocol based on its formal specification

✍ Scribed by Sun-Jen Huang; Lai, R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the stabilization of a communication

✍ D. A. Efimov, A. V. Sumarokov, S. N. Timakov 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 558 KB

A formal approach based on UML and B for

✍ Amel Mammar; Régine Laleau 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 472 KB

On the development of a standard for con

✍ Dieter Hogrefe 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Automated Generation of Strictly Conform

✍ A. S. Kossatchev; P. Kutter; M. A. Posypkin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

A formal approach to the specification a

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

Design of a formal model for the specifi

✍ Klaus Feldmann; Wolfgang Wolf; Matthias Weber 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 421 KB