@inproceedings{JHR+07,
title = { Virtual execution of AADL models via a translation into synchronous programs },
author = {Jahier, Erwan and Halbwachs, Nicolas and Raymond, Pascal and Nicollin, Xavier and Lesens, David},
year = {2007},
booktitle = {Proceedings of the 7th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria},
pages = {134-143},
publisher = {ACM},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32637356
|
|
|