✦ LIBER ✦

A short history of the formal specifications of ODA

✍ Scribed by W. Appelt; G. Richter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The formal specifications for protocols

✍ Yuan Meng-ting; Wu Guo-qing; Shu Feng-di 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 346 KB

FODA — the formal specification of ODA d

✍ Wolfgang Appelt 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 587 KB

Effects of structure on the comprehensib

✍ Finney, K.; Fenton, N.; Fedorec, A. 📂 Article 📅 1999 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 739 KB

Practical methods for the formal validat

✍ Gerard J Holzmann 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 572 KB

A Rigorous Method for Inspection of Mode

✍ Shaoying Liu; McDermid, J.A.; Yuting Chen 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 564 KB

Making formal specifications accessible

✍ J.E. Cooling; T.S. Hughes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 654 KB