✦ LIBER ✦

Enforceable component-based realtime contracts

✍ Scribed by Hermann Härtig; Steffen Zschaler; Martin Pohlack; Ronald Aigner; Steffen Göbel; Christoph Pohl; Simone Röttger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic contracts for component-ba

✍ Gössler, Gregor; Xu, Dana N.; Girault, Alain 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 1003 KB

EMG-based muscle fatigue assessment duri

✍ Daniel R. Rogers; Dawn T. MacIsaac 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 869 KB

[Lecture Notes in Computer Science] Alge

✍ Meseguer, José; Roşu, Grigore 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 548 KB

[Lecture Notes in Computer Science] Comp

✍ Gervasi, Osvaldo; Gavrilova, Marina L.; Kumar, Vipin; Laganà, Antonio; Lee, Heow 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 182 KB

[IEEE 2007 IEEE International Conference

✍ Hou, Shan-Shan; Zhang, Lu; Xie, Tao; Mei, Hong; Sun, Jia-Su 📂 Article 📅 2007 🏛 IEEE ⚖ 674 KB

[IEEE 2010 International Conference on C

✍ Abdellatif, Takoua; Rouis, Nejla; Saidane, Wafa; Jarboui, Tahar 📂 Article 📅 2010 🏛 IEEE ⚖ 737 KB