Analyzing Real-Time Systems

Jürgen Ruf, Thomas Kropf. Analyzing Real-Time Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 243, IEEE Computer Society, 2000. [doi]

Authors

Jürgen Ruf

This author has not been identified. Look up 'Jürgen Ruf' in Google

Thomas Kropf

This author has not been identified. Look up 'Thomas Kropf' in Google