Jan-Tecker Gayen

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich
OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE (2008)
Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. SoftSpez Final Report (2004)