Jan-Tecker Gayen

According to our database1, Jan-Tecker Gayen
  • authored at least 2 papers between 2004 and 2008.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
OOLH: A Formal Framework for Specifying System Requirements.
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.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004


  Loading...