✦ LIBER ✦

Specification and verification technologies for communication software

✍ Scribed by Kajiwara, M.; Itoh, M.; Ichikawa, H.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and Verification of Switch

✍ Kajiwara, M.; Ichikawa, H.; Itoh, M.; Yoshida, Y. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 715 KB

Formal techniques for the specification,

✍ Tat Choi 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 643 KB

Specification and verification for semi-

✍ Chen Tao-Iue; Han Ting-ting; Lu Jian 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 560 KB

Evolving communications software: techni

✍ Opdyke, W.F.; Pakstas, A. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 611 KB

A comparative study of formal verificati

✍ Jeffrey J.P. Tsai; Kuang Xu 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 103 KB

Domain and specification models for soft

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 126 KB