Searching for authors named "Bill Stoddart" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
The Event Calculus vsn 2 SCM-96-1
- … The Event Calculus vsn 2 University of Teesside Technical Report SCM-96-1 Bill Stoddart, Bill…
- Add To MetaCart
-
The Event Calculus Extensions for Modelling Hybrid Systems SCM-96-2
- … SCM-96-2 Bill Stoddart University of Teesside, UK February 23, 1997 Abstract Until now, formal…
- Cited by 2 (0 self) – Add To MetaCart
-
An Event Calculus Model of the Forth Programming System
- … An Event Calculus Model of the Forth Programming System Bill Stoddart, SCM, University…
- Add To MetaCart
-
Modelling and proof analysis of interrupt driven scheduling
- …Modelling and Proof Analysis of Interrupt Driven Scheduling Bill Stoddart 1 , Dominique Cansell 2…
- Cited by 1 (0 self) – Add To MetaCart
-
A Design-based model of reversible computation
- …A Design-based model of reversible computation Bill Stoddart, Frank Zeyda, Robert Lynas University…
- Cited by 1 (1 self) – Add To MetaCart
-
Integrated Formal Methods
- …Integrated Formal Methods Andy Galloway and Bill Stoddart High Intergrity Systems Engineering…
- Cited by 3 (1 self) – Add To MetaCart
-
Undefined expressions and logic in Z and B
- … expressions and logic in Z and B BILL STODDART bill@(email omitted); School of Computing and Mathematics…
- Cited by 1 (0 self) – Add To MetaCart
-
Type Inference in Stack Based Languages
- … Bill Stoddart and Peter J. Knaggs School of Computing and Mathematics, University of Teesside…
- Cited by 5 (1 self) – Add To MetaCart
-
SuDoku Solver Case Study: from specification to RVM-Forth (part I)
- … is based on ANS Forth, and runs in a Reversible Virtual Machine developed by Bill Stoddart [3, 4…
- Add To MetaCart
Showing 1 through 9.
