×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [temporal formula]
Documents
Logical Model and Specification of Usage Control Xinwen Zhang, Jaehong Park Francesco Parisi-Presicce, Ravi Sandhu George Mason University
215 views
Documents
Formal Methods of Systems Specification Logical Specification of Hard- and Software
32 views
Documents
The Temporal Semantics Of Concurrent Programs Amir Pnueli (1981)
56 views
Documents
CS6133 Software Specification and Verification
54 views