1998 | ||
---|---|---|
3 | Viktor Friesen: A Logic for the Specification of Continuous Systems. HSCC 1998: 143-158 | |
2 | Viktor Friesen, André Nordwig, Matthias Weber: Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. ZUM 1998: 328-346 | |
1997 | ||
1 | EE | Viktor Friesen, Stefan Jähnichen, Matthias Weber: Specification of Software Controlling a Discrete-Continuous Environment. ICSE 1997: 315-325 |
1 | Stefan Jähnichen | [1] |
2 | André Nordwig | [2] |
3 | Matthias Weber | [1] [2] |