[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 - Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures

[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

✍ Mousavi, M.R.; Le Guernic, P.; Talpin, J.-P.; Shukla, S.K.; Basten, T. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 329 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 and

✍ Bailey, S.; Marschner, E.; Bhasker, J.; Lewis, J.; Ashenden, P. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 192 KB

[IEEE Comput. Soc Design, Automation and

✍ Tahoori, M.B.; Lombardi, F. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 224 KB