Specification of Software Controlling a Discrete-Continuous Environment.

Viktor Friesen, Stefan Jhnichen, Matthias Weber

Browse the full ICSE paper archive.