Tiyam Robati, Abdelouahed Gherbi, John Mullins. A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet. In Elhadi M. Shakshuki, editor, The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain. Volume 83 of Procedia Computer Science, pages 229-236, Elsevier, 2016. [doi]
@inproceedings{RobatiGM16,
title = {A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet},
author = {Tiyam Robati and Abdelouahed Gherbi and John Mullins},
year = {2016},
doi = {10.1016/j.procs.2016.04.120},
url = {http://dx.doi.org/10.1016/j.procs.2016.04.120},
researchr = {https://researchr.org/publication/RobatiGM16},
cites = {0},
citedby = {0},
pages = {229-236},
booktitle = {The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain},
editor = {Elhadi M. Shakshuki},
volume = {83},
series = {Procedia Computer Science},
publisher = {Elsevier},
}