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).
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback