Translating AADL into BIP - Application to the Verification of Real-Time Systems
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compositional Verification for Component-Based Systems and ApplicationLecture Notes in Computer Science, 2008
- A Methodology and Supporting Tools for the Development of Component-Based Embedded SystemsLecture Notes in Computer Science, 2008
- Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based NetworksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Composition for component-based modelingScience of Computer Programming, 2005
- The IF ToolsetLecture Notes in Computer Science, 2004
- Protocol verification with the ALDÉBARAN toolsetInternational Journal on Software Tools for Technology Transfer, 1997