A model-based methodology of programming cyber-physical systems.

Sundeep Chandhoke, Tim Hayles, Jeff Kodosky, Guoqiang Wang

Browse the full IWCMC paper archive.