Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2010
Jongerden, M.R.
(2010)
Model-based energy analysis of battery powered systems.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 10-183
ISBN 978-90-365-3114-6
Neuhausser, M.
(2010)
Model Checking Nondeterministic and Randomly Timed Systems.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 09-165
ISBN 978-90-365-2975-4
2009
Han, Tingting
(2009)
Diagnosis, Synthesis and Analysis of Probabilistic Models.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 09-149
ISBN 978-90-365-2858-0
2008
Zapreev, I.S.
(2008)
Model Checking Markov Chains: Techniques and Tools.
PhD thesis, University of Twente.
CTIT Ph.D.-thesis series No. 08-113
ISBN 978-90-8570-298-6
This list was generated on Thu May 24 08:59:00 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||