EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Damm, W.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2005

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

2002

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 Apr 23 23:42:50 CEST 2017.