Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
2025
/
p. 297–304
http://doi.org/10.5220/0013322100003896
https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1