Keywords
| abstract state machines (2) | Abstraction (1) | Access control (1) |
| access controls (1) | Action Semantics (1) | adaptive graph pattern matching (1) |
| AIS (2) | analysis (1) | analysis of transformation systems (1) |
| Arinc 653 (1) | authorisation (1) | |
| abstract state machines (2) | Abstraction (1) | Access control (1) |
| access controls (1) | Action Semantics (1) | adaptive graph pattern matching (1) |
| AIS (2) | analysis (1) | analysis of transformation systems (1) |
| Arinc 653 (1) | authorisation (1) | |