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
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 Thu May 24 05:57:59 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||