Using a Visual Formalism for Design Verification in Industrial Environments

Rainer Schlör, Bernhard Josko, Dieter Werth. Using a Visual Formalism for Design Verification in Industrial Environments. In Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga, editors, Services and Visualization: Towards User-Friendly Design, ACoS 98, VISUAL 98, AIN 97, Selected Papers. Volume 1385 of Lecture Notes in Computer Science, pages 208-221, Springer, 1998. [doi]

Authors

Rainer Schlör

This author has not been identified. Look up 'Rainer Schlör' in Google

Bernhard Josko

This author has not been identified. Look up 'Bernhard Josko' in Google

Dieter Werth

This author has not been identified. Look up 'Dieter Werth' in Google