Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W.
(2006)
A Testing Scenario for Probabilistic Processes.
Technical Report ICIS-R06002,
Radboud University Nijmegen, Nijmegen.
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||