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

Browse the full ICINCO paper archive.