Article citationsMore>>
L’Her, D., Le Parc, P. and Marce, L. (1999) Proving Sequential Function Chart Programs Using Automata. In: Champarnaud, J.-M., Ziadi, D. and Maurel, D., Eds., Automata Implementation, Springer, Berlin, 149-163.
http://dx.doi.org/10.1007/3-540-48057-9_13
has been cited by the following article:
Related Articles:
-
Koffi Honoré Kouamé, Kouakou Marius Konan, Kouadio Ignace Kouassi, Kouablan Edmond Koffi, Assanvo Simon-Pierre N’Guetta
-
Jun Sen, Norimoto Kokubun, Toshimichi Kamei, Kazushige Ohmori, Mitsuhiro Kishino, Tatsuki Kashiwagi, Masaaki Yokota, Norihito Doki
-
François Devillard, Bernard Heit
-
Jegadish Kumar Kailairajan Jeyaprakash, Joseph Gladwin Seka, Kamaraj Villayutham
-
Nasim Vatani, Rasul Enayatifar