✦ LIBER ✦

Correctness of transformations on register transfers

✍ Scribed by Jan H. Jongejan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Regularity of abstract-register transfor

✍ A. K. Belyaev 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 410 KB

Effectiveness of transformations in a re

✍ A. K. Belyaev 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 142 KB

An Interpretation of a System of Abstrac

✍ A.K. Belyaev 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 67 KB

Algebras of periodically defined transfo

✍ V. G. Bodnarchuk; G. E. Tseitlin 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 861 KB

Partial Scan Testing on the Register-Tra

✍ Bruce S. Greene; Samiha Mourad 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 260 KB

On correctness of information models

✍ Bengt Lundberg 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 768 KB