|
| Reachability analysis (1) | recursive pattern matching (1) | refinement (1) |
| relational databases (2) | reliable messaging (1) | requirement specification (1) |
| resilience (1) | Robustness testing (1) | rule-based access control policies (1) |
| rule-based design space exploration (1) | | |
