[TTL14]
Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis.
Integrating stochastic reasoning into Event-B development.
Formal Aspects of Computing, 27, pages 53–77.
2015.
[Describes an extension of Event-B for stochastic reasoning, using PRISM to perform probability calculations.]
|
