Jan-Tecker Gayen

According to our database, Jan-Tecker Gayen authored at least 2 papers between 2004 and 2008.

Collaborative distances:

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

2008

OOLH: A Formal Framework for Specifying System Requirements.

Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich

Proceedings of the SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12, 2008

2004

Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.

Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004