𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Formal verification in Web services composition

✍ Scribed by Todica, Valeriu; Vaida, Mircea-Florin; Cremene, Marcel

Book ID: 120817777
Publisher: IEEE
Year: 2012
Weight: 345 KB
Category: Article
ISBN: 1467307033
DOI: 10.1109/AQTR.2012.6237702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - On prediction of defect rates

✍ Vladu, Ana Maria; Fagarasan, Ioana 📂 Article 📅 2012 🏛 IEEE ⚖ 250 KB

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Virtual instrumentation in power engineering

✍ Ignat, S.; Valean, H.; Capatina, D. 📂 Article 📅 2012 🏛 IEEE ⚖ 363 KB

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Model simplification of an unmanned aerial vehicle

✍ Morar, Ioan-Radu; Nascu, Ioan 📂 Article 📅 2012 🏛 IEEE ⚖ 318 KB

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Consistency analysis of ERTMS monitoring systems

✍ Daian, Gheorghe Iulian; Letia, Tiberiu Stefan 📂 Article 📅 2012 🏛 IEEE ⚖ 266 KB

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Models for the AC locomotives regenerative braking

✍ Tulbure, M.; Both, R. 📂 Article 📅 2012 🏛 IEEE ⚖ 452 KB

[IEEE 2012 IEEE International Conference

[IEEE 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012) - Cluj-Napoca, Romania (2012.05.24-2012.05.27)] Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics - Hybrid cryptosystem with hierarchical private key

✍ Flonta, Stelian; Miclea, Liviu Cristian; Stefan, Iulia 📂 Article 📅 2012 🏛 IEEE ⚖ 348 KB