No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2018

Filter
Book editing
2014
Stochastic systems
Model checking
Stochastic models
Speech recognition
Computer science
2012

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 editing

Open Access
File
research and development
method
industry

Proceedings of the 17th Dutch Testing Day: Testing Evolvability

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

Research output: Book/ReportBook editing

File