If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Review article
2018

A survey of statistical model checking

Agha, G. A. & Palmskog, K., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.

Research output: Contribution to journalReview article

Model checking
Model Checking
Statistical Model
Stochastic systems
Stochastic Systems