Items where Author is "Wehrheim, H"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 4.
Schneider, SA, Treharne, HE and Wehrheim, H (2012) The Behavioural Semantics of Event-B Refinement Formal Aspects of Computing: applicable formal methods . ? - ?. ISSN 0934-5043
Schneider, SA, Treharne, HE and Wehrheim, H (2011) Bounded Retransmission in Event-B||CSP: a Case Study Electronic Notes in Theoretical Computer Science, 280 . 69 - 80. ISSN 1571-0661
Schneider, SA, Treharne, H and Wehrheim, H (2011) A CSP Account of Event-B Refinement In: REFINE 2011, 2011-06-20 - 2011-06-20, Limerick.
Schneider, SA, Treharne, HE and Wehrheim, H (2010) A CSP approach to Control in Event-B Integrated Formal Methods/Lecture Notes in Computer Science, 6396 . 260 - 274.