Context Aware Model Exploration with OBP tool...
URL: https://ensta.hal.science/hal-00676640
Dataset description:
International audience
Source: Context Aware Model Exploration with OBP tool to Improve Model-Checking
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 25, 2026 |
| Created | unknown |
| Format | HTML |
| License | No License Provided |
| Created | 5 months ago |
| Id | c7b392dd-f92e-4fae-b199-44751cfcae35 |
| Package id | oai-hal-hal-00676640v1 |
| Resource type | HTML |
| State | active |