No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2019

Filter
Book editing
2014
Stochastic systems
Model checking
Stochastic models
Speech recognition
Computer science
2012
51 Downloads (Pure)

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Stoelinga, M. (ed.) & Pinger, R. (ed.), Aug 2012, London: Springer. 221 p. (Lecture Notes in Computer Science; vol. 7437)

Research output: Book/ReportBook editingAcademic

Open Access
File
research and development
method
industry
14 Downloads (Pure)

Proceedings of the 17th Dutch Testing Day: Testing Evolvability, November 29, 2011, University of Twente, Enschede

Stoelinga, M. (ed.) & Timmer, M. (ed.), Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Workshop Proceedings Series; no. WP12-01)

Research output: Book/ReportBook editingAcademic

Open Access
File
synergy
driver
innovation