[IEEE Comput. Soc Design, Automation and Test in Europe Conference and Exhibition - Paris, France (16-20 Feb. 2004)] Proceedings Design, Automation and Test in Europe Conference and Exhibition - Utilizing formal assertions for system design of network processors

[IEEE Comput. Soc Design, Automation and

✍ Papaefstathiou, I.; Kornaros, G.; Zervos, N. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 256 KB

[IEEE Comput. Soc Design, Automation and

✍ Agrawal, A.; Jha, N.K. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 242 KB

[IEEE Comput. Soc . Design, Automation a

✍ Piguet, C.; Gautier, J.; Heer, C.; O'Connor, I.; Schlichtmann, U. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 401 KB

[IEEE Comput. Soc . Design, Automation a

✍ Posadas, H.; Herrera, F.; Sanchez, P.; Villar, E.; Blasco, F. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 253 KB

[IEEE Comput. Soc Design, Automation and

✍ Rong Jiang, ; Chung-Ping Chen, C. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 299 KB

[IEEE Comput. Soc . Design, Automation a

✍ Burns, F.; Shang, D.; Koelmans, A.; Yakovlev, A. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 205 KB