Detlef Baumecker

According to our database, Detlef Baumecker authored at least 3 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2003

Simulationsgestützte Entwicklung von Kommunikationsprotokollen und ihre Anwendung in der Ingenieurausbildung.

Detlef Baumecker, Reinhard Koeppe

Proceedings of the Simulation und Visualisierung 2003 (SimVis 2003), 2003

1998

Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen.

Detlef Baumecker, Reinhard Koeppe

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme.

Detlef Baumecker, Reinhard Koeppe, Matthias Roebert

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997