Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:47:34 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||