@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 35305056
|
|
|