Verimag

bibtex

@inproceedings{MSB+07,
    title = {Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks },
    author = {Maraninchi, Florence and Samper, Ludovic and Baradon, Kevin and Vasseur, Antoine},
    month = {mar},
    year = {2007},
    booktitle = {SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems},
    address = {Braga, Portugal},
    publisher = {ENTCS},
    team = {SYNC},
}

Publication Sections

  • Synchrone by years
  •     mbom-site">,
    abr/>ab"Publications-SorRSDnes.html?lang=en"> Synchrone by years
  • abr/>ab,255"Publications-SorRSDnes.,
        mbom-site">,
    abr/>ab"Publications-SorPACSSnes.html?lang=en"> Synchrone by years abr/>ab,255"Publications-SorPACSSnes.,
        mbom-site">,
    abr/>ab,256"Publications-SorTempones.html?lang=en"> Synchrone by years abhref="Publications-SorTempones.,
        mbo>abr/>a"Publications-SorDC.descres.html?lang=en"> Synchrone by yeC

    ees- -seign"Publications-SorDC.descres.,
     &nb/ublxticles de ticles de tudy="Home :ettoyc a type="iclesent="20 m:1} #menu-************

type='text/javcatphp?page=porft"http:/S= {SMap->S= {SMap &n|du Pur'>> . typenut CShttp:/S= {Spowespdres.ta name="generator" > S= {Spowespdres.ta name="ge &n+ Pur'>> edu.ca.edu/-contenu43.lns="hShttp:/temvca {SAHUNTSIC - 2e="g [84793" >AHUNTSIC titlePurndikattpque " /> --> virimas> strong>915969ubrirong> ="VerimSYNC},<********* s &nbtabody projetrc="grou L-t/med:#FFFFFF;" cell ci/1995" cellp> .cnrn"re/ class="nom/-sit _cnrn 80-filimg src="IMCNRS""Verim ns.html> .gsp;oble-inp"re/ class="nom/-sitinp"gifsrc="IMINP Gsp;oble""Verim ns.html4 Verimag"/> ********#blocage="/a>Pub*****navcage="/a0b" >Pur'>>detailw-verimp"h_***slap07-wstphp?page=porftndikaorft>Eng m ns.hbsp;&ncb" >Pur'>>detailw-verimp"h_***slap07-wstphp?page=pref=ndikaref=>Français ns.hbsp;&nP/ubl Verimag Verimag"/> &nP/veri>