Article citationsMore>>
Soliman, D., Thramboulidis, K. and Frey, G. (2012) Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications. Annual Reviews in Control, 36, 338-345.
http://dx.doi.org/10.1016/j.arcontrol.2012.09.015
has been cited by the following article:
Related Articles:
-
Nadeem Akhtar, Muhammad Nauman
-
Safiye Kızmaz, Mürvet Kırcı
-
Jegadish Kumar Kailairajan Jeyaprakash, Joseph Gladwin Seka, Kamaraj Villayutham
-
Theodore N. Djéni, Alfred K. Kouamé, Youssouf Traoré, Rose K. Nevry, Marcellin K. Dje
-
Sinerik Ayrapetyan