Verimag

bibtex

@inproceedings{SPB+13e,
    title = {Modeling Mixed Critical Systems in Real-Time BIP },
    author = {Socci, Dario and Poplavko, Petro and Bensalem, Saddek and Bozga, Marius},
    year = {2013},
    booktitle = {Proc. ReTiMiCs-2013, Workshop on Real-Time Mixed Criticality Systems},
    team = {DCS, RSD},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876089