Principles of Cyber-Physical Systems

Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Embedded Software: Third International Conference, Emsoft 2003, Philadelphia, Pa, USA, October 13-15, 2003, Proceedings

Hybrid Systems III: Verification and Control

Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, USA, July 13-17, 2004, Proceedings

Categories for Types

Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, USA, July 13-17, 2004, Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, USA, March 25-27, 2004, Proceedings

Hybrid Systems III: Verification and Control

Embedded Software: Third International Conference, Emsoft 2003, Philadelphia, Pa, USA, October 13-15, 2003, Proceedings