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.
Rechercher dans Google Scholar
Official URL: http://dx.doi.org/10.1109/IRI.2015.56
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 |