![](/img/cover-not-exists.png)
Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
Soliman, Doaa, Thramboulidis, Kleanthis, Frey, GeorgVolume:
45
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20120523-3-ro-2023.00370
Date:
May, 2012
File:
PDF, 2.14 MB
english, 2012