La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

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

Hamadou, Sardaouna et Mullins, John et Chareton, Christophe et 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), p. 303-310. Los Alamitos, CA, USA : IEEE Computer Society.
Compte des citations dans Scopus : 1.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Type de document: Compte rendu de conférence
Professeur:
Professeur
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date de dépôt: 27 nov. 2015 16:40
Dernière modification: 27 nov. 2015 16:40
URI: http://espace2.etsmtl.ca/id/eprint/11856

Actions (Authentification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt