Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

20072018
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2018

Filter
PhD Thesis - Research external, graduation UT
2008

Testing reactive systems with data: enumerative methods and constraint solving

Calamé, J. R. 4 Sep 2008 Wageningen: Ponsen & Looijen B.V.. 227 p.

Research output: ThesisPhD Thesis - Research external, graduation UT

File
Positive ions
Testing
Automatic teller machines
Model checking
Acceptance tests