Article citationsMore>>
Wardana, A., Folmer, J. and Vogel-Heuser, B. (2009) Automatic Program Verification of Continuous Function Chart Based on Model Checking. 35th Annual Conference of IEEE Industrial Electronics, Porto, 3-5 November 2009, 2422-2427.
http://dx.doi.org/10.1109/iecon.2009.5415231
has been cited by the following article:
Related Articles:
-
Kunvar S. Yadav, Sheetal P. Karia, Kamlesh N. Pathak
-
Joon Ku Lee, Yang Mo Kim
-
Ednah Olubunmi Aliyu
-
Vilma Geni Slomski, Liliane Costa Jacobs Lames, Edilei Rodrigues de Lames, José Carlos Marion
-
César Mbane Biouele