✦ LIBER ✦

Determining periodicity: a case study of a functional specification

✍ Scribed by Rayward‐Smith, V. J.; Omar, A. E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and testing: A case

✍ Gilbert Laycock 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 812 KB

A specification case study using the B-m

✍ Andrew Storey 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 788 KB

A specification-based case study from te

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

Synthesis of AMBA AHB from formal specif

✍ Godhal, Yashdeep; Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 653 KB

A periodic attractor determined by one f

✍ Zbigniew Nitecki 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 884 KB

A study of periodicity and structure of

✍ József Vitrai; Pál Czobor; Sándor Marosfi; György L'auné 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 602 KB