Publications de
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Hybrid possibilistic systems with nondeterministic continous evolutions and switching
Dans : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice – Slovaquie, Vol. 12 N. 1, (support électronique), 2012.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic modeling of a special class of hybrid systems (regular paper)
Dans : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/11-27/05/11, DMSI, p. 90-95, mai 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper)
Dans : International scientific conference INFORMATICS’2011, Roznava Slovakia, 16/11/11-18/11/11, Faculty of Electrical Engineering and Informatics, p. 14-25, novembre 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker
Modeling programs over complex-named data by term rewriting systems (regular paper)
Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, Presses universitaires de l’Université Taras Shevchenko, p. 40-49, octobre 2010.