EEMCS

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

EEMCS EPrints Service


Editor: Podelski, A.
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

2004

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X

This list was generated on Mon Apr 24 04:37:52 CEST 2017.