Albert Mo Kim Cheng. What s Real in Real-Time Control Systems ? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics. In Helder Araújo, Alves Vieira, José Braz, Bruno Encarnação, Marina Carvalho, editors, ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004. pages 23-27, INSTICC Press, 2004.
@inproceedings{Cheng04:16,
title = {What s Real in Real-Time Control Systems ? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics},
author = {Albert Mo Kim Cheng},
year = {2004},
tags = {control systems, rule-based, rules},
researchr = {https://researchr.org/publication/Cheng04%3A16},
cites = {0},
citedby = {0},
pages = {23-27},
booktitle = {ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004},
editor = {Helder Araújo and Alves Vieira and José Braz and Bruno Encarnação and Marina Carvalho},
publisher = {INSTICC Press},
isbn = {972-8865-12-0},
}