STS-News

University of Constanz

Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle

Sibylle Schupp visits Stefan Leue, chair for Software and Systems Engineering. As part of her visit, she gives a lecture on statistical model checking.