[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Contract-based design of control protocols for safety-critical cyber-physical systems

[IEEE Conference Publications Design Aut

📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 303 KB

[IEEE Conference Publications Design Aut

✍ Becker, Andrew; Novo, David; Ienne, Paolo 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 435 KB

[IEEE Conference Publications Design Aut

✍ Saraf, Naman; Bazargan, Kia; Lilja, David J.; Riedel, Marc D. 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 941 KB

[IEEE Conference Publications Design Aut

✍ Ranjan, Ashish; Raha, Arnab; Venkataramani, Swagath; Roy, Kaushik; Raghunathan, 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 818 KB

[IEEE Conference Publications Design Aut

✍ Cortez, Mafalda; Roelofs, Gijs; Hamdioui, Said; Natale, Giorgio di 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 385 KB

[IEEE Conference Publications Design Aut

✍ Tsoutsos, Nektarios Georgios; Maniatakos, Michail 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 847 KB