A formal framework for model verification in...
URL: https://hal.science/hal-00839870
Dataset description:
The aim of this paper is to present and to illustrate a formal model verification framework called UPSL (Unified Property Specification Language) applied here in System...
Source: A formal framework for model verification in System Engineering: UPSL
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 10, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 1 day ago |
| Id | cdcc74fe-287b-4250-b7ba-b57a297fbdbe |
| Package id | oai-hal-hal-00839870v1 |
| Resource type | HTML |
| State | active |