Gotzhein, Reinhard
Gotzhein, Reinhard 1956-
VIAF ID: 623736 (Personal)
Permalink: http://viaf.org/viaf/623736
Preferred Forms
- 200 _ | ‡a Gotzhein ‡b Reinhard
-
-
- 100 1 _ ‡a Gotzhein, Reinhard
-
- 100 1 _ ‡a Gotzhein, Reinhard
- 100 1 0 ‡a Gotzhein, Reinhard
-
- 100 1 _ ‡a Gotzhein, Reinhard ‡d 1956-
- 100 1 _ ‡a Gotzhein, Reinhard ‡d 1956-
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
case study on specification, detection and resolution of IN feature interactions with Estelle | |
Clock-independent Model for Real-Time | |
Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 | |
formal syntax and a formal semantics for Open Estelle | |
Generic Layout of Communication Subsystems - A Case Study | |
Improving the Efficiency of Automated Protocol Implementation Using Estelle | |
introduction to abstract state machines | |
Kommunikation in verteilten Systemen (KiVS) Kurzbeiträge und Workshop der 14. GI-ITG-Fachtagung 28. Februar bis 3. März 2005 Kaiserslautern | |
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle eine Bestandsaufnahme | |
Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen | |
Open distributed systems : on concepts, methods, and design from a logical point of view | |
Real-time Communication Protocols for Multi-hop Ad-hoc Networks : Wireless Networking in Production and Control Systems | |
Robust Channel Hopping Sequences in Cognitive Radio Networks | |
SAM 2012. | |
SDL 2009 : design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings | |
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study | |
System analysis and modeling, language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31-June 2, 2006, revised selected papers | |
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings | |
Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems | |
Towards a Basic Reference Model of Open Distributed Processing | |
Towards the harmonisation of UML and SDL syntactic and semantic alignment |