𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Improving model-based verification of embedded systems by analyzing component dependences

✍ Scribed by Siegl, Sebastian; Caliebe, Philipp

Book ID: 126597704
Publisher: IEEE
Year: 2011
Weight: 778 KB
Category: Article
ISBN: 1612848184
DOI: 10.1109/SIES.2011.5953678

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 6th IEEE International Sympos

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Towards adaptive hierarchical scheduling of overloaded real-time systems

✍ Khalilzad, Nima Moghaddami; Nolte, Thomas; Behnam, Moris 📂 Article 📅 2011 🏛 IEEE ⚖ 464 KB

[IEEE 2011 6th IEEE International Sympos

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Multi-criteria optimization for mapping programs to multi-processors

✍ Cotton, Scott; Maler, Oded; Legriel, Julien; Saidi, Selma 📂 Article 📅 2011 🏛 IEEE ⚖ 996 KB

[IEEE 2011 6th IEEE International Sympos

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel

✍ Sojer, Dominik; Knoll, Alois; Buckl, Christian 📂 Article 📅 2011 🏛 IEEE ⚖ 991 KB

[IEEE 2011 6th IEEE International Sympos

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Video subset selection for measurement based Worst Case Execution Time analysis

✍ Wheeler, Sitsofe; Bate, Iain; Bartlett, Mark 📂 Article 📅 2011 🏛 IEEE ⚖ 889 KB

[IEEE 2011 6th IEEE International Sympos

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Control-flow error detection using combining basic and program-level checking in commodity multi-core architectures

✍ Khoshavi, Navid; Zarandi, Hamid R.; Maghsoudloo, Mohammad 📂 Article 📅 2011 🏛 IEEE ⚖ 917 KB

[IEEE 2011 IEEE 20th International Sympo

[IEEE 2011 IEEE 20th International Symposium on Industrial Electronics (ISIE) - Gdansk, Poland (2011.06.27-2011.06.30)] 2011 IEEE International Symposium on Industrial Electronics - Improvement of dynamic behavior and system stability by using STATCOM

✍ Shahgholian, Ghazanfar; Mahdavian, Mehdi; Etesami, Afshin; Moalem, Sepehr; Jabba 📂 Article 📅 2011 🏛 IEEE ⚖ 424 KB