Statistics
Publications
1
Citations
12
H-Index
1
Active since
1997
Affiliations
Technische Universität Braunschweig(Current)
A. Janhsen is an author at Technische Universität Braunschweig specializing in control theory, formal specifications, and railway systems engineering.
Publications per year
1997–1997
1
1
Formal Specifications of the European Train Control System
A. Janhsen, Karsten Lemmer, B. Ptok et al. · IFAC Proceedings Volumes · 1997 · 12 citations
1–1 of 1