Back to search results

Person

Prof.dr. J.C.M. Baeten

Pagina-navigatie:

filter results

Type

Doctoral thesis (42)

Date

Accessibility

Institution

1-10 out of 42 results by:date

Save search results

Probability and hiding in concurrent processes (2011)Open access

Author: Georgievska, S (Sonja)
From computability to executability:a process-theoretic view on automata theory (2011)Open access

Author: Tilburg, van PJA (Paul)
Security matters:privacy in voting ang fairness in digital exchange (2009)Open access

Author: Jonker, HL (Hugo)
Automated model-based testing of hybrid systems (2009)Open access

Author: Osch, van MPWJ (Michiel)
Model-based integration and testing of high-tech multi-disciplinary systems (2008)Open access

Author: Braspenning, NCWM (Niels)
Formal methods in support of SMC design (2008)Open access

Author: Bortnik, EM (Elena)
Real and stochastic time in process algebras for performance evaluation (2008)Open access

Author: Markovski, J (Jasen)
Process algebras for hybrid systems:comparison and development (2008)Open access

Author: Khadim, U (Uzma)
Silent steps in transition systems and Markov chains (2007)Open access

Author: Trcka, N (Nikola)
Formal specification and analysis of hybrid systems (2006)Open access

Authors: Man, KL (Ka Lok); Schiffelers, RRH (Ramon)

Pages:

previous

< 1 2 3 4 5 >

next

Go to page top
Go back to contents
Go back to site navigation