𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

✍ Scribed by Suo, Dajiang; An, Jinxia; Zhu, Jihong

Book ID: 121662204
Publisher: IEEE
Year: 2011
Weight: 726 KB
Category: Article
ISBN: 0769546099
DOI: 10.1109/APSEC.2011.27

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Stepwise Validation of Formal Specifications

✍ Mashkoor, Atif; Jacquot, Jean-Pierre 📂 Article 📅 2011 🏛 IEEE ⚖ 289 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Modeling Timing Requirements in Problem Frames Using CCSL

✍ Chen, Xiaohong; Liu, Jing; Mallet, Frederic; Jin, Zhi 📂 Article 📅 2011 🏛 IEEE ⚖ 346 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Using Variability Models to Reduce Verification Effort of Train Station Models

✍ Svendsen, Andreas; Haugen, Øystein; Moller-Pedersen, Birger 📂 Article 📅 2011 🏛 IEEE ⚖ 351 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

✍ Kong, Weiqiang; Katahira, Noriyuki; Watanabe, Masahiko; Katayama, Tetsuro; Hisaz 📂 Article 📅 2011 🏛 IEEE ⚖ 317 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Understanding Source Code Differences by Separating Refactoring Effects

✍ Thangthumachit, Sirinut; Hayashi, Shinpei; Saeki, Motoshi 📂 Article 📅 2011 🏛 IEEE ⚖ 292 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Intrusive Test Automation with Failed Test Case Clustering

✍ Hsueh, Chien-Hsin; Cheng, Yung-Pin; Pan, Wei-Cheng 📂 Article 📅 2011 🏛 IEEE ⚖ 816 KB