Research Output 2007 2017

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: ScientificPhD Thesis - Research external, graduation UT

Positive ions
Automatic teller machines
Model checking
Testing
Acceptance tests