Keywords
| partial modeling (1) | Pattern matching (4) | Petri nets (4) |
| Pex (1) | planner algorithms (2) | platform-specific transformers (1) |
| PLC (1) | program slicing (2) | programming languages (1) |
| partial modeling (1) | Pattern matching (4) | Petri nets (4) |
| Pex (1) | planner algorithms (2) | platform-specific transformers (1) |
| PLC (1) | program slicing (2) | programming languages (1) |