Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 85-111, Springer, 2016. [doi]
@incollection{HamadouMG16,
title = {A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet},
author = {Sardaouna Hamadou and John Mullins and Abdelouahed Gherbi},
year = {2016},
doi = {10.1007/978-3-319-31311-5_4},
url = {http://dx.doi.org/10.1007/978-3-319-31311-5_4},
researchr = {https://researchr.org/publication/HamadouMG16},
cites = {0},
citedby = {0},
pages = {85-111},
booktitle = {Theoretical Information Reuse and Integration},
editor = {Thouraya Bouabana-Tebibel and Stuart H. Rubin},
volume = {446},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-319-31309-2},
}