Formal Specification and Verification of Task...
URL: https://ut3-toulouseinp.hal.science/hal-00695622
Dataset description:
Model-Driven Engineering enables to assess a system's model properties since the early phases of its lifecycle and to improve iteratively these models according to the...
Source: Formal Specification and Verification of Task Time Constraints for Real-Time Systems
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 19, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | f0ed61e2-476b-4c51-b6dc-78310f36b040 |
| Package id | oai-hal-hal-00695622v1 |
| Resource type | HTML |
| State | active |