Data Analysis of Timed Finite State Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jürgen Ruf. Data Analysis of Timed Finite State Systems. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. pages 11-20, MoPress, 2001.

The following publications are possibly variants of this publication:

Formal Data Analysis of Timed Finite State SystemsJürgen Ruf, Thomas Kropf. ecrts 2002: 257 [doi]

runs on WebDSL