A Generic Approach for Automated Verification...
URL: https://theses.hal.science/tel-00707351
Dataset description:
This thesis explores the subject of automatic verification of product line models. This approach is based on the hypothesis that to automatically verify product line models,...
Source: A Generic Approach for Automated Verification of Product Line Models
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 15, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 4 days ago |
| Id | ede178ac-bef5-41af-8f9a-2cece3d35d5d |
| Package id | oai-hal-tel-00707351v1 |
| Resource type | HTML |
| State | active |