[IEEE 2006 Design, Automation and Test in Europe - Munich, Germany (2006.3.6-2006.3.10)] Proceedings of the Design Automation & Test in Europe Conference - Combining Simulation and Formal Methods for System-Level Performance Analysis

[IEEE 2006 Design, Automation and Test i

✍ Hosseinabady, M.; Banaiyan, A.; Bojnordi, M.N.; Navabi, Z. 📂 Article 📅 2006 🏛 IEEE 🌐 German ⚖ 267 KB

[IEEE 2006 Design, Automation and Test i

✍ Jing Huang, ; Momenzadeh, M.; Lombardi, F. 📂 Article 📅 2006 🏛 IEEE 🌐 German ⚖ 535 KB

[IEEE 2006 Design, Automation and Test i

✍ Yang Liu, ; Bouganis, C.-S.; Cheung, P.Y.K.; Leong, P.H.W.; Motley, S.J. 📂 Article 📅 2006 🏛 IEEE 🌐 German ⚖ 236 KB

[IEEE 2006 Design, Automation and Test i

✍ Gupta, P.; Jha, N.K.; Lingappan, L. 📂 Article 📅 2006 🏛 IEEE ⚖ 542 KB

[IEEE 2006 Design, Automation and Test i

✍ Balachandran, J.; Brebels, S.; Carchon, G.; Webers, T.; De Raedt, W.; Nauwelaers 📂 Article 📅 2006 🏛 IEEE 🌐 German ⚖ 517 KB

[IEEE 2006 Design, Automation and Test i

✍ Balachandran, J.; Brebels, S.; Carchon, G.; Webers, T.; De Raedt, W.; Nauwelaers 📂 Article 📅 2006 🏛 IEEE 🌐 German ⚖ 517 KB