AUTOSAR and SysML A Natural Fit?
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
- Publisher:
- SIA
Modelling Distributed Integrated Modular Systems Using the UML and the SysML
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Edroom: A Free Tool for the UML2 Component Based Design and Automatic Code Generation of Tiny Embedded Real Time System
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
B-RAIL : Risk analysis and specification
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Vital Software: Formal Method and Coded Processor
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Formal Verification of Hand-Coded Software Some Industrial Experiments and Lessons Learnt
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Formal and Efficient Verification Techniques for Real-Time UML Models
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
UML Inconsistencies Assessment
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Bridging UML and Safety-Critical Software Development Environments
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Experiences in Using Model Checking to Verify Real Time Properties of a Landing Gear Control System
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA