Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 5. 2011
van der Bijl, H.M.
(2011)
On changing models in Model-Based Testing.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 11-198
ISBN 978-90-365-3195-5
2010
Kant, G.
(2010)
Distributed State Space Generation for Graphs up to Isomorphism.
Master's thesis, University of Twente.
2008
Timmer, M.
(2008)
Evaluating and Predicting Actual Test Coverage.
Master's thesis, University of Twente.
2006
Crouzen, P.
(2006)
Compositional Analysis of Dynamic Fault Trees using Input/Output Interactive Markov Chains.
Master's thesis, University of Twente.
2004
Kastenberg, H.
(2004)
Software Metrics as Class Graph Properties.
Master's thesis, University of Twente.
This list was generated on Thu May 24 09:04:38 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||