Legal Aspects of Safety Designed Software Development, Especially under European Law
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
- Publisher:
- SIA
Some Future Challenges in The Validation of Control Systems
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Virtual Prototyping for Validation of Functional Architectures
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Eliminating Embedded Software Defects in a Virtual System Integration Laboratory
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
The SAE Architecture Analysis & Design Language (AADL)- A Standard for Engineering Performance Critical Systems
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Toward Model-Based Engineering for Space Embedded Systems and Software
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Behavioural Descriptions in Architecture Description Languages Application To AADL
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Formal Verification by Abstract Interpretation
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Formal Verification Workbench for Airbus Avionics Software
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Incremental Validation of Real-Time Systems
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA