Searching for authors named Sentot Kromodimoeljo – sorted by Relevance.
-
Ontological GUI and EVES
- Ontological GUI and EVES TR-95-5492-04 Sentot Kromodimoeljo Release date: March 1995 ORA Canada 267
- Add To MetaCart
-
Developing a theory of Information Flow Algebras in EVES
- Developing a theory of Information Flow Algebras in EVES TR-95-5492-03 Sentot Kromodimoeljo
- 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
-
Investigating the Role of EVES in System Engineering and Security Evaluation
- Investigating the Role of EVES in System Engineering and Security Evaluation TR-92-5464-02 Sentot
- 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
-
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
-
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

