✦ LIBER ✦

Approach to functional specification of automaton systems. I

✍ Scribed by A. N. Chebotarev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 874 KB

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 698 KB

Synthesis of a nondeterministic automato

✍ A. N. Chebotarev 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 711 KB

Consistency test for simple specificatio

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 469 KB

Integrative approach for a functional sp

✍ L. Kermad; C. Ausfelder; J.-P. Bourey; E. Castelain 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 813 KB

A graph-based approach to the compositio

✍ Manuel Koch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 247 KB