Research Output 2004 2017

Filter
Book editing
2014

Stochastic Model Checking

Stoelinga, M. I. A. (ed.), Remke, A. K. I. (ed.) & Unknown, . U. 2014 Berlin: Springer Verlag. 281 p. (Lecture Notes in Computer Science; vol. 8453)

Research output: ScientificBook editing

Stochastic models
Model checking
Stochastic systems
Speech recognition
Computer science

Stochastic Model Checking: Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

Remke, A. K. I. (ed.), Stoelinga, M. I. A. (ed.) & Unknown, . U. Oct 2014 London: Springer Verlag. 281 p. (Lecture Notes in Computer Science; vol. 8453, no. 8453)

Research output: ScientificBook editing

Stochastic models
Model checking
Stochastic systems
Speech recognition
Computer science
2012

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

Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems

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

Research output: ScientificBook editing

Formal methods
Industrial applications
Engineers
Industry