Formal Methods in System Design, 0925-9856
Journal
1 - 4 out of 4Page size: 10
Publications
- 2021
- E-pub ahead of print
Automatic verification of concurrent stochastic systems
David Parker, 22 Jan 2021, In: Formal Methods in System Design. 58 p.Research output: Contribution to journal › Article › peer-review
- 2013
- Published
Automatic verification of competitive stochastic systems
David Parker, 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92Research output: Contribution to journal › Article › peer-review
- 2010
- Published
- 2006
- Published
Performance Analysis of Probabilistic Timed Automata using Digital Clocks
Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.Research output: Contribution to journal › Article