𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - A Framework for Formal Specification of Embedded Systems

✍ Scribed by Bures, F.; Rysavy, O.; Scuglik, F.; Sveda, M.

Book ID: 124061340
Publisher: IEEE
Year: 2005
Weight: 173 KB
Category: Article
ISBN-13: 9780769523088
DOI: 10.1109/ECBS.2005.8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Embedded System Engineering Using C/C++ Based Design Methodologies

✍ Talarico, C.; Gupta, A.; Peter, E.; Rozenblit, J.W. 📂 Article 📅 2005 🏛 IEEE ⚖ 321 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - A Generic Model-Based Test Case Generator

✍ Popovic, M.; Velikic, I. 📂 Article 📅 2005 🏛 IEEE ⚖ 260 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Combining Requirements Engineering Techniques — Theory and Case Study

✍ Li Jiang, ; Eberlein, A.; Far, B.H. 📂 Article 📅 2005 🏛 IEEE ⚖ 108 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - The Impact of Agile Methods on Software Project Management

✍ Coram, M.; Bohner, S. 📂 Article 📅 2005 🏛 IEEE ⚖ 91 KB

[IEEE 2013 20th IEEE International Confe

[IEEE 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Scottsdale, AZ, USA (2013.04.22-2013.04.24)] 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Feedback Control Scheduling for Crane Control System

✍ Naseer, Oumair; Shah, Akeel; Khan, Atif Ali 📂 Article 📅 2013 🏛 IEEE ⚖ 948 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Model-Based Cyber Security

✍ Rasche, Galen; Allwein, Erin; Moore, Michael; Abbott, Ben 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 353 KB