𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003 - Huntsville, AL, USA (7-10 April 2003)] 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings. - Using π-calculus to formalize UML activity diagram for business process modeling

✍ Scribed by Yang Dong, ; Zhang ShenSheng,

Book ID: 126865854
Publisher: IEEE Comput. Soc
Year: 2003
Tongue: English
Weight: 274 KB
Category: Article
ISBN-13: 9780769519173
DOI: 10.1109/ecbs.2003.1194782

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 10th IEEE Internationa

[IEEE Comput. Soc 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003 - Huntsville, AL, USA (7-10 April 2003)] 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings. - Autonomic Computing - a means of achieving dependability?

✍ Sterritt, R.; Bustard, D. 📂 Article 📅 2003 🏛 IEEE Comput. Soc 🌐 English ⚖ 238 KB

[IEEE Comput. Soc 10th IEEE Internationa

[IEEE Comput. Soc 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003 - Huntsville, AL, USA (7-10 April 2003)] 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings. - An approach for modeling and designing software architecture

✍ Jiang Guo, 📂 Article 📅 2003 🏛 IEEE Comput. Soc 🌐 English ⚖ 407 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) - 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 Framework for Formal Specification of Embedded Systems

✍ Bures, F.; Rysavy, O.; Scuglik, F.; Sveda, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 173 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 Comput. Soc Eighth Annual IEEE Int

[IEEE Comput. Soc Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001 - Washington, DC, USA (17-20 April 2001)] Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001 - XML based security for e-commerce applications

✍ Xavier, E. 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 629 KB