News
IEEE Access (2021). [3] Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. Annual Reviews in Control (2012).
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback