Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko. On controller and plant modeling for model-based formal verification. 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{LobovLT05, title = {On controller and plant modeling for model-based formal verification}, author = {Andrei Lobov and Jose L. Martinez Lastra and Reijo Tuokko}, year = {2005}, doi = {10.1109/ETFA.2005.1612510}, url = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612510}, tags = {rule-based, meta-model, modeling, Meta-Environment}, researchr = {https://researchr.org/publication/LobovLT05}, 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}, }