Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools

Eun-Young Kang*, Jianda Chen, Liu Ke, Shangyu Chen

*Corresponding author for this work

Research output: Book/reportReportResearch

Fingerprint

Dive into the research topics of 'Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools'. Together they form a unique fingerprint.

Engineering & Materials Science