Searching for authors named "Michael Butler" – sorted by Relevance.
62 documents found, showing 1 through 10.
Next 10 →
-
On the Use of Data Refinement in the Development of Secure Communications Systems
- … in the Development of Secure Communications Systems Michael Butler Department of Electronics and Computer Science…
- Cited by 4 (1 self) – Add To MetaCart
-
Stepwise Refinement of Communicating Systems
- …Stepwise Refinement of Communicating Systems Michael Butler Dept. of Computer Science Abo…
- Cited by 17 (6 self) – Add To MetaCart
-
Using Refinement to Analyse the Safety of an Authentication Protocol
- …Using Refinement to Analyse the Safety of an Authentication Protocol Michael Butler, Department…
- Cited by 1 (0 self) – Add To MetaCart
-
A System-based Approach to the Formal Development of Embedded Controllers for a Railway
- …A System-based Approach to the Formal Development of Embedded Controllers for a Railway Michael…
- Cited by 6 (4 self) – Add To MetaCart
-
Calculational Derivation of Pointer Algorithms from Tree Operations
- …Calculational Derivation of Pointer Algorithms from Tree Operations Michael Butler Department…
- Cited by 9 (1 self) – Add To MetaCart
-
An Approach to the Design of Distributed Systems with B AMN (Extended Version)
- …An Approach to the Design of Distributed Systems with B AMN (Extended Version) y Michael Butler…
- Cited by 23 (11 self) – Add To MetaCart
-
Event Ordering in Action Systems
- …Event Ordering in Action Systems Michael Butler mjb@(email omitted); Declarative Systems…
- Cited by 2 (0 self) – Add To MetaCart
-
Feature Interaction Analysis Using Z
- …Feature Interaction Analysis Using Z Michael Butler Broadcom ' Eireann Research Ltd Kestrel House…
- Add To MetaCart
-
A Performance-Oriented Refinement Assistant
- …A Performance-Oriented Renement Assistant Stefan Hallerstede and Michael Butler Department…
- Add To MetaCart
-
A CSP Approach To Action Systems
- …A CSP Approach To Action Systems Michael J. Butler Wolfson College \Delta Thesis submitted…
- Cited by 19 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
