Chapitre D'ouvrage
Année : 2023
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04350561
Soumis le : lundi 18 décembre 2023-13:59:42
Dernière modification le : mardi 19 décembre 2023-03:21:09
Citer
Régine Laleau. Revisiting the challenges in combining requirements engineering and formal methods for CPS. Erika Abraham; Stefan Hallerstede; John Hatcliff; Danielle Stewart; Noah Abou El Wafa. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041), 13 (1), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp.168, 2023, ⟨10.4230/DagRep.13.1.155⟩. ⟨hal-04350561⟩
18
Consultations
0
Téléchargements