Sethu Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravit. A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 63-70, IEEE, 2007. [doi]
@inproceedings{RameshGR07,
title = {A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems},
author = {Sethu Ramesh and P. Vignesh V. Ganesan and Gurulingesh Raravit},
year = {2007},
doi = {10.1109/SIES.2007.4297318},
url = {http://dx.doi.org/10.1109/SIES.2007.4297318},
researchr = {https://researchr.org/publication/RameshGR07},
cites = {0},
citedby = {0},
pages = {63-70},
booktitle = {IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007},
publisher = {IEEE},
}