bibtex

@inproceedings{GHB+7,
    title = { {TT-BIP:} Using Correct-by-Design {BIP} Approach for Modelling Real-Time System with Time-Triggered Paradigm },
    author = {Guesmi, Hela and Hedia, Belgacem Ben and Bliudze, Simon and Bensalem, Saddek and Nabec, Briag Le},
    year = {2017},
    booktitle = {Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings},
    pages = {171--188},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10466},
    team = {RSD},
}

URL

Publication Sections


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

info visites 1127722