Dataset - CKAN

Contribution for the Specification and the Verification of Temporal Requireme...

The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three...
- HTML
Patterns-Based Assistance for Temporal Requirement Specification

International audience
- HTML
Assisting Temporal Requirement Specification

International audience
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found