Searching for authors named "Chris George" – sorted by Relevance.
-
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

