Author Publications

Group by: Date | Item Type

Jump to: 2010 | 2009 | 2006

Number of items: 3.

2010

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. In: Proceedings FM-09 Workshop on Formal Methods for Aerospace. Electronic Proceedings in Theoretical Computer Science, 20 . EPTCS, pp. 49-62.

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, FMA, 03 Nov 2009, Eindhoven, The Netherlands.

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.

This list was generated on Tue May 21 06:17:17 2013 CEST.