FMT - Projects

Back to University of Twente portal

	Home > Research > Projects
<< EEMCS (EWI) Home News and Events People Research » Projects » Publications » Tools Education Vacancies Intranet Contact	MC=MC: Model Checking Infinite-State Markov Chains Duration: January 2011 until January 2011

Education
▪ Behavioural Sciences
▪ Management and Governance
▪ Engineering Technology
▪ Electrical Engineering, Mathematics and Computer Science
▪ Science and Technology
▪ Geo-Information Science and Earth Observation
▪ Overview programmes

Research
▪ Centre for Telematics and Information Technology
▪ Institute for Behavioral Research
▪ Institute for Innovation and Governance Studies
▪ Institute of Mechanics, Processes and Control
▪ Mesa+ Institute for Nanotechnology
▪ MIRA Biomedical Technology and Technical Medicine

Cooperation
▪ Alumni
▪ Universiteitsfonds
▪ Kennispark Twente
▪ Entrepreneurs
▪ The Science Shop
▪ Press

Disclaimer Privacy statement 27 April 2024