𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Two Formal Semantics of a Subset of the AADL

✍ Scribed by Yang, Zhibin; Hu, Kai; Bodeveix, Jean-Paul; Pi, Lei; Ma, Dianfu; Talpin, Jean-Pierre

Book ID: 121678890
Publisher: IEEE
Year: 2011
Weight: 388 KB
Category: Article
ISBN: 1612848532
DOI: 10.1109/iceccs.2011.41

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Towards a MDE Transformation Workflow for Dependability Analysis

✍ Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea 📂 Article 📅 2011 🏛 IEEE ⚖ 670 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - An Implementation of the Behavior Annex in the AADL-Toolset Osate2

✍ Lasnier, Gilles; Pautet, Laurent; Hugues, Jérôme; Wrage, Lutz 📂 Article 📅 2011 🏛 IEEE ⚖ 623 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems

✍ Chehade, W. El Hajj; Radermacher, A.; Terrier, F.; Selic, B.; Gérard, S. 📂 Article 📅 2011 🏛 IEEE ⚖ 524 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

✍ Hecht, Myron; Lam, Alexander; Vogl, Chris 📂 Article 📅 2011 🏛 IEEE ⚖ 261 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Hardware/Software Communication Middleware for Data Adaptable Embedded Systems

✍ Mahadevan, Sachidanand; Gopinath, Vijay Shankar; Lysecky, Roman; Sprinkle, Jonat 📂 Article 📅 2011 🏛 IEEE ⚖ 446 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Scenario-Based Architectural Design Decisions Documentation and Evolution

✍ Che, Meiru; Perry, Dewayne E. 📂 Article 📅 2011 🏛 IEEE ⚖ 775 KB