"Scaling up statistical model checking of cyber-physical systems via ..."

Leonardo Picchiami et al. (2025)

Details and statistics

DOI: 10.1016/J.JSS.2024.112238

access: closed

type: Journal Article

metadata version: 2024-11-30