✦ LIBER ✦

[IEEE Comput. Soc 8th IEEE International Workshop on Rapid System Prototyping Shortening the Path from Specification to Prototype - Chapel Hill, NC, USA (24-26 June 1997)] Proceedings 8th IEEE International Workshop on Rapid System Prototyping Shortening the Path from Specification to Prototype - Automaton: an autonomous coverage-based multiprocessor system verification environment

✍ Scribed by Malik, N.; Roberts, S.; Pita, A.; Dobson, R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Sixth IEEE Inte

✍ Rousseau, F.; Benzakki, J.; Berge, J.-M.; Israel, M. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press ⚖ 444 KB

[IEEE Comput. Soc RSP'99: 10th IEEE Inte

✍ Hessel, F.; Coste, P.; LeMarrec, P.; Zergainoh, N.; Daveau, J.M.; Jerraya, A.A. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 85 KB