FMT - Projects - QUPES: Verifying Quantitative Properties of Embedded Software

Back to University of Twente portal

	FMT Home > Research > Projects
<< EEMCS (EWI) Home News In the Media Research » Projects » Publications » Tools Education People Events Vacancies Internal Contact	QUPES: Verifying Quantitative Properties of Embedded Software Publications: in EPrints Further information: http://www-i2.informatik.rwth-aachen.de/~katoen/research_projects.html

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 07 May 2012