Person

Prof.dr. J.C. van de Pol

Pagina-navigatie:

Current research

(the most recent research is at the top)
Project leader	Multi-Core Decision Diagrams
Supervisor	Model-driven design of dependable software intensive embedded systems
Supervisor	Security by logic for multithreaded applications
Supervisor	Symbolic Translation of Stochastic Processes