Ondrej Rysavy, Jaroslav Ráb. A component-based approach to verification of embedded control systems using TLA:::+:::. In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008. pages 719-725, IEEE, 2008. [doi]
@inproceedings{RysavyR08,
title = {A component-based approach to verification of embedded control systems using TLA:::+:::},
author = {Ondrej Rysavy and Jaroslav Ráb},
year = {2008},
doi = {10.1109/IMCSIT.2008.4747321},
url = {http://dx.doi.org/10.1109/IMCSIT.2008.4747321},
tags = {control systems, rule-based, systematic-approach},
researchr = {https://researchr.org/publication/RysavyR08},
cites = {0},
citedby = {0},
pages = {719-725},
booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008},
publisher = {IEEE},
isbn = {978-83-60810-14-9},
}