Modeling and requirements on the physical side of cyber-physical systems.

Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam

Browse the full ICSE paper archive.