Integrated Rigorous Analysis in Cyber-Physical Systems Engineering

Ábrahám, Erika (Corresponding author); Hallerstede, Stefan (Corresponding author); Hatcliff, John (Corresponding author); Stewart, Danielle (Corresponding author); El Wafa, Noah Abou (Corresponding author)

Wadern : Schloss Dagstuhl (2023)
Journal Article

In: Dagstuhl Reports
Volume: 13
Issue: 1
Page(s)/Article-Nr.: 155-183


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]