Valeriy Vyatkin, Hans-Michael Hanisch. Reuse of components in formal modeling and verification of distributed control systems. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]
@inproceedings{VyatkinH05,
title = {Reuse of components in formal modeling and verification of distributed control systems},
author = {Valeriy Vyatkin and Hans-Michael Hanisch},
year = {2005},
doi = {10.1109/ETFA.2005.1612511},
url = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612511},
tags = {control systems, reusable components, modeling, reuse},
researchr = {https://researchr.org/publication/VyatkinH05},
cites = {0},
citedby = {0},
booktitle = {Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy},
publisher = {IEEE},
}