EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-F.4.3
Home Policy Brochure Browse Search User Area Contact Help

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.