Validate, simulate, and implement ARINC653 systems using the AADL (Q131133646)
Appearance
scientific article published on 10 November 2009
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Validate, simulate, and implement ARINC653 systems using the AADL |
scientific article published on 10 November 2009 |
Statements
Validate, simulate, and implement ARINC653 systems using the AADL (English)
1 reference
Julien Delange
1 reference
Laurent Pautet
1 reference
Alain Plantec
1 reference
Mickael Kerboeuf
1 reference
Frank Singhoff
1 reference
Fabrice Kordon
1 reference
10 November 2009
1 reference
31-44
1 reference