FP7_COLLAB_HIERATIC v2

Rowe, Jon (Principal Investigator)
Good, Chris (Co-Investigator)
Parker, Dave (Co-Investigator)

Short title	FP7_COLLAB_HIERATIC v2
Status	Finished
Effective start/end date	1/10/12 → 30/04/16

Funding

European Commission - Management Costs
European Commission

1 Article

Compositional probabilistic verification through multi-objective model checking
Kwiatkowska, M., Norman, G., Parker, D. & Qu, H., Nov 2013, In: Information and Computation. 232, p. 38-65
Research output: Contribution to journal › Article › peer-review

Open Access
File
20 Citations (Scopus)

203 Downloads (Pure)