Verimag

bibtex

@inproceedings{BBS06,
    title = {Modeling Heterogeneous Real-time Components in BIP },
    author = {Basu, Ananda and Bozga, Marius and Sifakis, Joseph},
    year = {2006},
    booktitle = {Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India},
    pages = {3-12},
    publisher = {IEEE Computer Society},
    team = {DCS, RSD},
}

Sections de Publications


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

info visites 874731