EEMCS EPrints Service
Number of items: 3.
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. Technical Report 2 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. Technical Report 6 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, September 9-12, 2002, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4
This list was generated on Sun Mar 19 23:58:15 CET 2017.