Searching for authors named Bill Pase – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Investigating the Role of EVES in System Engineering and Security Evaluation
- … Kromodimoeljo Bill Pase Release date: September 1992 Revised December 1992 ORA Canada 267 Richmond Road, Suite…
- Cited by 2 (1 self) – Add To MetaCart
-
Prototype Proof Checker
- …Prototype Proof Checker TR-95-5482-04 Sentot Kromodimoeljo Bill Pase Release date: December 1995…
- Cited by 1 (1 self) – Add To MetaCart
-
Final Report for the Investigation of Proof Techniques Within the EVES Verification Technology
- …-92-5451-02 Sentot Kromodimoeljo Bill Pase Release date: May 1992 ORA Canada 267 Richmond Road, Suite…
- Cited by 1 (1 self) – Add To MetaCart
-
A User's Guide to a Skeletal CSP Theory in EVES
- …A User's Guide to a Skeletal CSP Theory in EVES TR-92-5469-03 Bill Pase Sentot Kromodimoeljo…
- Cited by 1 (0 self) – Add To MetaCart
-
Software Manual for EVES Version 3.0
- …Software Manual for EVES Version 3.0 TR-95-5482-03 Sentot Kromodimoeljo Irwin Meisels Bill Pase…
- Add To MetaCart
-
Developing a theory of Information Flow Algebras in EVES
- … and Bill Pase Release date: March 1995 ORA Canada 267 Richmond Road, Suite 100 Ottawa, Ontario K1Z 6X3…
- Add To MetaCart
-
Addendum to the "Final Report for the Investigation of Proof Techniques Within the EVES Verification Technology"
- … Verification Technology" TR-93-5451-03 Mark Saaltink, Sentot Kromodimoeljo, and Bill Pase Release date…
- Add To MetaCart
-
Proof Logging Final Report
- …Proof Logging Final Report TR-95-5471-05 Sentot Kromodimoeljo Bill Pase Release date: JUNE 1995 ORA…
- Add To MetaCart
-
Security Modelling using EVES
- …Security Modelling using EVES TR-93-5479-02 Sentot Kromodimoeljo Bill Pase Release date: December…
- Add To MetaCart
-
Development of a Skeletal CSP Theory in EVES
- …Development of a Skeletal CSP Theory in EVES TR-92-5469-02 Sentot Kromodimoeljo Bill Pase Release…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
