Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)

Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports, 13(1):155-183, January 2023. [doi]

Authors

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google

Stefan Hallerstede

This author has not been identified. Look up 'Stefan Hallerstede' in Google

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Danielle Stewart

This author has not been identified. Look up 'Danielle Stewart' in Google

Noah Abou El Wafa

This author has not been identified. Look up 'Noah Abou El Wafa' in Google