-
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... -
Patterns-Based Assistance for Temporal Requirement Specification
International audience -
Assisting Temporal Requirement Specification
International audience
