Searching for authors named "Helen Treharne" – sorted by Relevance.
-
Supplementing a UML development process with B
- Supplementing a UML development process with B Helen Treharne Department of Computer Science
- Cited by 2 (0 self) – Add To MetaCart
-
The Refinement of Embedded Software with the B-Method
- , GEC-Marconi Avionics Ltd, Airport Works, Rochester, ME1 2XX, UK Helen Treharne Royal Hollaway
- Cited by 4 (2 self) – Add To MetaCart
-
Capturing timing requirements formally in AMN
- Capturing timing requirements formally in AMN Helen Treharne and Steve Schneider Technical Report
- Cited by 3 (1 self) – Add To MetaCart
-
Investigating a File Transfer Protocol Using CSP and B
- Using CSP and B Neil Evans, Helen Treharne Department of Computer Science, Royal Holloway, University
- Cited by 1 (1 self) – Add To MetaCart
-
Using a Process Algebra to control B OPERATIONS
- Using a Process Algebra to control B OPERATIONS (Full Version) Helen Treharne and Steve Schneider
- Cited by 18 (4 self) – Add To MetaCart
-
How to Drive a B Machine
- How to drive a B Machine Helen Treharne and Steve Schneider Department of Computer Science, Royal
- Cited by 13 (3 self) – Add To MetaCart
-
Communicating B Machines
- Communicating B Machines Steve Schneider and Helen Treharne Department of Computer Science, Royal
- Cited by 10 (3 self) – Add To MetaCart
-
Composing Specifications Using Communication
- Composing Specifications using Communication Helen Treharne, Steve Schneider, and Marchia Bramble
- Cited by 1 (0 self) – Add To MetaCart
-
Supplementing a UML Development Process with B Helen Treharne
- Supplementing a UML Development Process with B Helen Treharne Department of Computer Science
- Add To MetaCart
-
Verifying Controlled Components
- Verifying Controlled Components Steve Schneider and Helen Treharne Department of Computer Science
- Add To MetaCart

