Skip to content

Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B.

Richard Banach

Year2014
ProceedingsTASE

Browse the full TASE paper archive.