Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Canver
Formal Development of Object-Based Systems in a Temporal Logic Setting
Related publications
A Temporal Logic Based Framework for Intrusion Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Convex Object Based Volume Visualization: A Formal Proof and Example
Computers and Graphics
Computer Graphics
Pattern Recognition
Human-Computer Interaction
Computer Vision
Engineering
Computer-Aided Design
Signal Processing
Software
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Formal Techniques in the Development of Blackboard Systems
International Journal of Pattern Recognition and Artificial Intelligence
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
