Searching for authors named Sentot Kromodimoeljo – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
