Person

Prof.dr. J.C.M. Baeten

Pagina-navigatie:

Completed research projects

(the most recent research is at the top)
Project leader	Transmission Control Protocols for the Internet
Researcher	Processor sharing
Supervisor	Tools and techniques for integrating performance analysis and system verification
Researcher	SAMASC - Security Analysis for Multi-Applet Smart Cards
Project leader	Modelling and performance analysis of telecommunication systems
Project leader	Modelling, Simulation and Verification of Hybrid Systems
Supervisor	Exploratory research: coalgebraic models of computation (SEN3.3)