Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls

Arndt Lüder, E. Hintze, Christian Schwab. Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 145-154, Herbert Utz Verlag, 1999.

Authors

Arndt Lüder

This author has not been identified. Look up 'Arndt Lüder' in Google

E. Hintze

This author has not been identified. Look up 'E. Hintze' in Google

Christian Schwab

This author has not been identified. Look up 'Christian Schwab' in Google