Back to search results

Person

Dr. M.I.A. Stoelinga

Pagina-navigatie:

Update Persondata

Digital Author ID	info:eu-repo/dai/nl/170382796

Active as

Researcher
Organisation	Faculty of Electrical Engineering, Mathematics & Computer Science (UT)
Email	m. i. a. stoelinga -at- utwente. nl

Publications

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)
Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag
Proceedings of the 17th Dutch Testing Day: Testing Evolvability
Preface

All publications..

Current research

(the most recent research is at the top)
Project leader	Symbolic Translation of Stochastic Processes

Completed research projects

(the most recent research is at the top)
Project leader	Modeling and Analysis of QoS of Component-Based Designs (MOQS)

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