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

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

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: http://dx.doi.org/10.1109/IRI.2015.56

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:	https://espace2.etsmtl.ca/id/eprint/11856

Actions (Authentification requise)

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