External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

What s Real in Real-Time Control Systems ? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics

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.

Abstract

Abstract is missing.

runs on