Go home now Header Background Image
Submission Procedure
share: |
Follow us

Reinhard Gotzhein
Universität Kaiserslautern, Germany

R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
page 1024 - 1049
Vol.7 / Issue 11
E. Börger, R. Gotzhein:
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study
page 580 - 581
Vol.6 / Issue 7
E. Börger, R. Gotzhein:
The Light Control Case Study: A Synopsis
page 582 - 585
Vol.6 / Issue 7