✦ LIBER ✦

An interactive environment for hardware/software system design at the specification level

✍ Scribed by S. Antoniazzi; M. Mastretti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SpecSyn: an environment supporting the s

✍ Gajski, D.D.; Vahid, F.; Narayan, S.; Jie Gong 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 281 KB

The Design of an Interactive Computer So

✍ Mathur, K.; Salkin, H.M.; Nishimura, K.; Morito, S. 📂 Article 📅 1984 🏛 IEEE 🌐 English ⚖ 1014 KB

The design and implementation of a softw

✍ Glenn Mayer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 505 KB

An application specific environment for

✍ G Danese; I De Lotto; D Dotti; F Leporati 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 473 KB

An automated system built around the SAR

✍ V. A. Mendelevich; E. K. Spirina; A. A. Alekseev; A. Yu. Gruznov 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 321 KB