Lothar Gmeiner

According to our database, Lothar Gmeiner authored at least 5 papers between 1979 and 1983.

Collaborative distances:

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

1983

Zur Testfallgenerierung in der Entwurfsphase.

Lothar Gmeiner

PhD thesis, 1983

1982

Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätsicherung während Entwurf und Test.

Lothar Gmeiner, Udo Voges

Proceedings of the Software-Qualitätssicherung, 1982

1981

Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes.

F. Fetsch, Lothar Gmeiner, Udo Voges

Proceedings of the GI, 1981

1980

SADAT - An Automated Testing Tool.

Udo Voges, Lothar Gmeiner, Anneliese von Mayrhauser

IEEE Trans. Software Eng., 1980

1979

Program Testing Techniques for Nuclear Reactor Protection Systems.

Werner Geiger, Lothar Gmeiner, Heinz H. Trauboth, Udo Voges

Computer, 1979