Filter by: Subject
Now showing items 1-6 of 1
| access control (1) |
| compositional specification (1) |
| interval temporal logic (1) |
| policy (1) |
| semantics (1) |
| verification (1) |
| access control (1) |
| compositional specification (1) |
| interval temporal logic (1) |
| policy (1) |
| semantics (1) |
| verification (1) |