Research Output 2004 2018

Filter
Book editing
2014
Stochastic models
Model checking
Stochastic systems
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: ScientificBook editing

Formal methods
Industrial applications
Engineers
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: ScientificBook editing

synergy
academic
driver
partnership
innovation