Real-time communication protocols for multi-hop ad-hoc networks wireless networking in production and control systems von Gotzhein, Reinhard 1956-

Volltext öffnen Volltext öffnen

An introduction to abstract state machines von Glässer, Uwe, Gotzhein, Reinhard, Prinz, Andreas 1963-

Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle eine Bestandsaufnahme von Thees, Joachim 1968-, Gotzhein, Reinhard

Open distributed systems on concepts, methods, and design from a logical point of view von Gotzhein, Reinhard

Open Distributed Systems On Concepts, Methods, and Design from a Logical Point of View von Gotzhein, Reinhard

Volltext öffnen

On the design of open distributed systems von Gotzhein, Reinhard

Compositional testing of communication systems von Gotzhein, Reinhard, Khendek, Ferhat

A case study on specification, detection and resolution of IN feature interactions with Estelle von Bredereke, Jan 1963-, Gotzhein, Reinhard

Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen von Gotzhein, Reinhard

Real-time communication protocols for multi-hop ad-hoc networks wireless networking in production and control systems von Gotzhein, Reinhard

Towards the harmonisation of UML and SDL syntactic and semantic alignment von Grammes, Rüdiger 1978-, Gotzhein, Reinhard

A formal syntax and a formal semantics for Open Estelle von Thees, Joachim 1968-, Gotzhein, Reinhard

Towards a basic reference model of open distributed processing von Gotzhein, Reinhard

On the formal definition and representation of architectural concepts von Gotzhein, Reinhard

System analysis and modeling languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings

Weitere Verfasser: Volltext öffnen