Searching for authors named "Chris George" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Introduction to RAISE
- … to RAISE Chris George March 2002 UNU/IIST and UNU/IIST Reports UNU/IIST (United Nations University…
- Cited by 4 (4 self) – Add To MetaCart
-
A Theory of Distributing Train Rescheduling
- … of Distributing Train Rescheduling Chris George December 1995 UNU/IIST and UNU/IIST Reports UNU/IIST is a…
- Cited by 3 (2 self) – Add To MetaCart
-
Proving Safety of Authentication Protocols: A Minimal Approach
- … of authentication protocols: a minimal approach Chris George February 1999 UNU/IIST and UNU/IIST Reports UNU…
- Cited by 2 (0 self) – Add To MetaCart
-
RAISE Tools User Guide
- … User Guide Chris George January 2001 UNU/IIST and UNU/IIST Reports UNU/IIST (United Nations…
- Cited by 5 (4 self) – Add To MetaCart
-
A RAISE tutorial
- … tutorial Chris George December 1998 UNU/IIST and UNU/IIST Reports UNU/IIST is a Research and Training…
- Cited by 3 (1 self) – Add To MetaCart
-
Specifying a Communication Protocol And Composing Transaction Schedules For a Mobile Environment
- … and Chris George August 3, 1998 UNU/IIST and UNU/IIST Reports UNU/IIST is a Research and Training Center…
- Add To MetaCart
-
C++ Translator for the RAISE Specification Language
- … for the RAISE Specication Language Univan Ahn and Chris George November, 2000 UNU/IIST and UNU/IIST Reports…
- Cited by 12 (0 self) – Add To MetaCart
-
Formal Foundations in RSL for UML Class Diagrams
- … Foundations in RSL for UML Class Diagrams Ana Funes, Chris George May, 2002 UNU/IIST and UNU/IIST Reports…
- Cited by 4 (3 self) – Add To MetaCart
-
Transforming RSL into PVS
- … RSL into PVS Aristides Dasso and Chris George May 2002 UNU/IIST and UNU/IIST Reports UNU…
- Cited by 3 (3 self) – Add To MetaCart
-
An RSL to SML Translator
- … Translator Ke Wei and Chris George May 3, 2001 UNU/IIST and UNU/IIST Reports UNU/IIST (United Nations…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
