EEMCS

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

EEMCS EPrints Service


Classification: MSC-68Q85
Home Policy Brochure Browse Search User Area Contact Help

2008

Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2007

Rensink, A. and Vogler, W. (2007) Fair Testing. Information and computation, 205 (2). pp. 125-198. ISSN 0890-5401 *** ISI Impact 0,873 ***