Cover von Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study opens in new tab

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study

Year: 2014
Media group: OASICS

Details

Search for this author
Year: 2014
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 100-112
Participating parties: Search for this character Ma, Xintao; Rinast, Jonas; Schupp, Sibylle; Gollmann, Dieter
Media group: OASICS