Modal event-clock specifications for timed component-based design
1
VERTECS -
Verification models and techniques applied to testing and control of reactive systems
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 S4 - System synthesis and supervision, scenarios
4 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 S4 - System synthesis and supervision, scenarios
4 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
Nathalie Bertrand
- Function : Author
- PersonId : 838273
Axel Legay
- Function : Author
- PersonId : 861400
Sophie Pinchinat
- Function : Author
- PersonId : 15715
- IdHAL : sophie-pinchinat
- IdRef : 097578754
Jean-Baptiste Raclet
- Function : Author
- PersonId : 739306
- IdHAL : jean-baptiste-raclet
- ORCID : 0000-0001-7357-912X
- IdRef : 113949383