
[IEEE 2015 IEEE International Conference on Information Reuse and Integration (IRI) - San Francisco, CA, USA (2015.8.13-2015.8.15)] 2015 IEEE International Conference on Information Reuse and Integration - Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus
Hamadou, Sardaouna, Mullins, John, Chareton, Christophe, Gherbi, AbdelouahedAnnée:
2015
Langue:
english
DOI:
10.1109/iri.2015.56
Fichier:
PDF, 926 KB
english, 2015