Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Changjian, Kapoor, Parv, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk, Ganlath, Akila, Mishra, Shatadal, Ammar, Nejib
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Logic in Computer Science Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2311.07462