Articles by Author

Author

Reinhard Gotzhein

Universität Kaiserslautern
Kaiserslautern, Germany

3 articles by this author

Sort by:

Formal Definition of SDL-2000 - Compiling ...

Research Article

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models

Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin Löwis, Andreas Prinz

10.3217/jucs-007-11-1024

28-11-2001

Unique: 882 | Total: 1076

1024-1049

The Light Control Case Study: A Synopsis

Research Article

The Light Control Case Study: A Synopsis

Egon Börger, Reinhard Gotzhein

10.3217/jucs-006-07-0582

28-07-2000

Unique: 766 | Total: 924

582-585

J.UCS Special Issue on Requirements Engineering ...

Editorial

J.UCS Special Issue on Requirements Engineering - The Light Control Case Study

Egon Börger, Reinhard Gotzhein

10.3217/jucs-006-07

28-07-2000

Unique: 701 | Total: 862

580-581

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics