Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2010
Kordy, P.T. and Langerak, R. and Polderman, J.W.
(2010)
Re-verification of a Lip Synchronization Protocol using Robust Reachability.
Electronic Proceedings in Theoretical Computer Science, 20.
pp. 49-62.
ISSN 2075-2180
2009
Kordy, P.T. and Langerak, R. and Polderman, J.W.
(2009)
Re-verification of a Lip Synchronization Algorithm using robust reachability.
In: Formal Methods for Aerospace, 03 Nov 2009, Eindhoven, The Netherlands.
Technische Universiteit Eindhoven.
ISSN not assigned
2006
Daws, C.F. and Kordy, P.T.
(2006)
Symbolic Robustness Analysis of Timed Automata.
In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France.
pp. 143-155.
Lecture Notes in Computer Science 4202.
Springer Verlag.
ISBN 978-3-540-45026-9
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||