Integrated Rigorous Analysis in Cyber-Physical Systems Engineering

Erika Abraham (Redaktør), Stefan Hallerstede (Redaktør), John Hatcliff (Redaktør), Danielle Stewart (Redaktør), Noah Abou El Wafa

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskning

Abstract

This report documents the program and the outcomes of the Dagstuhl Seminar 23041 “Integrated
Rigorous Analysis in Cyber-Physical Systems (CPS) Engineering”.
This seminar brought together academic and industry representations from a variety of
domains with backgrounds in different techniques to develop a roadmap for addressing the current
challenges in the area of CPS engineering. An overarching theme was the potential use of
integrated models and associated methodologies that support cross-technique information/results
sharing and smooth workflow hand-offs between individual tools and methods.
OriginalsprogEngelsk
TidsskriftDagstuhl Reports
Vol/bind13
Nummer1
Sider (fra-til)155-183
Antal sider29
ISSN2192-5283
DOI
StatusUdgivet - sep. 2023
BegivenhedDagstuhl Seminar 23041 -
Varighed: 22 jan. 202327 jan. 2023

Konference

KonferenceDagstuhl Seminar 23041
Periode22/01/202327/01/2023

Citationsformater