Revisiting the challenges in combining requirements engineering and formal methods for CPS - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Revisiting the challenges in combining requirements engineering and formal methods for CPS

Fichier non déposé

Dates et versions

hal-04350561 , version 1 (18-12-2023)

Identifiants

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⟩

Collections

LACL UPEC
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More