[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Towards a Generic Verification Methodology for System Models

[IEEE Conference Publications Design Aut

✍ Carretero, Javier; Herrero, Enric; Monchiero, Matteo; Ramirez, Tanausu; Vera, Xa 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 860 KB

[IEEE Conference Publications Design Aut

✍ Cilardo, Alessandro; Gallo, Luca; Mazzeo, Antonino; Mazzocca, Nicola 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 175 KB

[IEEE Conference Publications Design Aut

✍ Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 137 KB

[IEEE Conference Publications Design Aut

✍ Li, Jiaxin; Zhang, Weihua; Chen, Haibo; Zang, Binyu 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 175 KB

[IEEE Conference Publications Design Aut

✍ Kozyrakis, Christos 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 803 KB

[IEEE Conference Publications Design Aut

✍ Kumar, Rajeev; Khatri, Sunil P. 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 151 KB