[IEEE Comput. Soc. Press European Design and Test Conference EDAC-ETC-EUROASIC - Paris, France (28 Feb.-3 March 1994)] Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC - A system-design methodology: executable-specification refinement

[IEEE Comput. Soc. Press European Design

✍ McCoy, B.A.; Robins, G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 459 KB

[IEEE Comput. Soc. Press European Design

✍ Huijbregts, E.P.; Van Eijndhoven, J.T.S.; Jess, J.A.G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 563 KB

[IEEE Comput. Soc. Press European Design

✍ Narayan, S.; Gajski, D.D. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 502 KB

[IEEE Comput. Soc. Press European Design

✍ Hahn, R.; Krieger, R.; Becker, B. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 581 KB

[IEEE Comput. Soc. Press European Design

✍ Ramachandran, L.; Gajski, D.D.; Chaiyakul, V. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 492 KB

[IEEE Comput. Soc. Press European Design

✍ Donnay, S.; Swings, K.; Gielen, G.; Sansen, W.; Kruiskamp, W.; Leenaerts, D. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 487 KB