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

Research Output 2007 2019

Filter
PhD Thesis - Research external, graduation UT
2008
73 Downloads (Pure)

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 UTAcademic

File
Positive ions
Testing
Automatic teller machines
Model checking
Acceptance tests