Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 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
1994
Rensink, A.
(1994)
Methodological Aspects of Action Refinement.
In: Programming Concepts, Methods and Calculi, San Miniato, Italy.
pp. 227-246.
IFIP Transactions A-56.
Elsevier.
ISSN 0926-5473
ISBN 0-444-82020-5
This list was generated on Thu May 24 07:35:00 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||