Reiner Lichtenecker

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. 8 (2) (1998)
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski
Automated Verification of Communication Protocols Using CCS and BDDs. IPPS/SPDP Workshops (1998)
Markus Wannemacher, Reiner Lichtenecker, Wolfgang A. Halang
Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen. MBMV (1998)
Klaus Gotthardt, Reiner Lichtenecker
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. FBT (1997)
Reiner Lichtenecker
Terrestrial Time Signal Dissemination. Real Time Syst. 12 (1) (1997)
Reiner Lichtenecker, Klaus Gotthardt
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. SAFECOMP (1997)