Go home now Header Background Image
Search
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
/jucs_7_11/formal_definition_of_sdl
page 1024 - 1049
Vol.7 / Issue 11
E. Börger, R. Gotzhein:
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study
/jucs_6_7/requirements_engineering_the_light
page 580 - 581
Vol.6 / Issue 7
E. Börger, R. Gotzhein:
The Light Control Case Study: A Synopsis
/jucs_6_7/the_light_control_case
page 582 - 585
Vol.6 / Issue 7