✦ LIBER ✦

An Approach to Formal Specification of Control Modules

✍ Scribed by Leung, W.H.; Ramamoorthy, C.V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification of an access contro

✍ Susan Stepney; Stephen P. Lord 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 903 KB

An approach to the formal specification

✍ George S. Carson 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 653 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Operational ontological approach to form

✍ I. S. Anureev 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 149 KB

An approach to formalizing specification

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

VESAR: a pragmatic approach to formal sp

✍ B. Algayres; V. Coelho; L. Doldi; H. Garavel; Y. Lejeune; C. Rodríguez 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 765 KB