Communication systems design with Estelle on style, efficiency, and analysis von Bredereke, Jan 1963-

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

Formale Spezifikation mit Estelle und die automatische Implementierung auf von-Neumann- und Co-Design-Architekturen von Högl, Hubert 1961-

Transformation of Estelle modules aiming at test case generation von Henniger, Olaf, Ulrich, Andreas, König, Hartmut 1950-

Spezifikationsstile und Entwurfswerkzeuge für Kommunikationsprotokolle im Echtzeitbereich von Czekalla, Jörg

Inhaltsverzeichnis

Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen von Hofmann, Bernd

Inhaltsverzeichnis

Using formal description techniques an introduction to ESTELLE, LOTOS and SDL

Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme von Hogrefe, Dieter

Volltext

The formal description technique Estelle results of the ESPRIT/SEDOS project

Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic...

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

Protocol specification, testing, and verification V proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by t...

Improving the efficiency of automated protocol implementation using Estelle

Using formal description techniques von Turner, K. J.

Proceedings of the IFIP TC 6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols FORTE '91 ; Sydney, Austra...

Formal description techniques proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6 - 9 September, 1988

An ESTELLE description of the ISO distributed transaction processing service

Testgenerierung aus Spezifikationen in Estelle und SDL von Henniger, Olaf

Spezifikationsstile und Entwurfswerkzeuge für Kommunikationsprotokolle im Echtzeitbereich von Czekalla, Jörg

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