Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.

Sebastian Schlesinger Paula Herber Thomas Göthel Sabine Glesner

Published in: CyPhy (2016)

Keyphrases

control flow
business process models
data flow
probabilistic model
case study
process model
reactive systems