Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus

Hamadou, Sardaouna, Mullins, John, Chareton, Christophe and Gherbi, Abdelouahed. 2015. « Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus ». In 2015 IEEE 16th International Conference on Information Reuse and Integration (IRI) (San Francisco, CA, USA, Aug. 13-15, 2015) pp. 303-310. Los Alamitos, CA, USA : IEEE Computer Society.
Compte des citations dans Scopus : 2.

The full text of this document is not available here.

Item Type:	Conference proceeding
Professor:	Professor Gherbi, Abdelouahed
Affiliation:	Génie logiciel et des technologies de l'information
Date Deposited:	27 Nov 2015 16:40
Last Modified:	27 Nov 2015 16:40
URI:	https://espace2.etsmtl.ca/id/eprint/11856

Actions (login required)

View Item