✦ LIBER ✦

RAM Special Issue on Formal Methods for Robotics and Automation

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

RAM Special Issue: Formal Methods for Ro

📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 135 KB

Special Issue on Formal Methods for Visu

✍ Fabio Paternò 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 35 KB

Call for Papers - Special Issue of the I

📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 45 KB

Special issue on design automation metho

📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 112 KB

Special issue on design automation metho

📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 112 KB

Guest editors’ introduction: Special iss

✍ Marieke Huisman; Thomas Jensen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 119 KB