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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 844245