Amanote Research
Register
Sign In
Executing AADL Models With UML/MARTE
doi 10.1109/iceccs.2009.10
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
Frédéric Mallet
Charles André
Julien DeAntoni
Publisher
IEEE
Related search
Dealing With AADL End-To-End Flow Latency With UML MARTE
Executing and Debugging UML Models
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults
Formal Verification of AADL Models Using UPPAAL
Testing Aspect-Oriented Programs With Uml Design Models
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validating UML Simulation Models With Model-Level Unit Tests
