Compositional probabilistic verification through multi-objective model checking

Marta Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Computer Science

Research output: Contribution to journal › Article › peer-review

20 Citations (Scopus)

170 Downloads (Pure)

1 results

Finished
FP7_COLLAB_HIERATIC v2
Rowe, J., Good, C. & Parker, D.
European Commission, European Commission - Management Costs
1/10/12 → 30/04/16
Project: Research