( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Construction and Analysis of Transition Systems with MEC

, , и . AMAST Series in Computing World Scientific, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leo Didier

Didier Béton

Didier Sangiorgio

Didier Fau

Didier Gava

 

Другие публикации лиц с тем же именем

Preuves de programmes sans induction., и . CLAAP, стр. 182-198. Université de Lille 1, (1980)An Example of Use of Formal Methods to Debug an Embedded Software., , и . FME, том 1051 из Lecture Notes in Computer Science, стр. 649-661. Springer, (1996)Construction and Analysis of Transition Systems with MEC, , и . AMAST Series in Computing World Scientific, (1994)The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project., , и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 19-32. Springer, (1996)The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project., , и . Sci. Comput. Program., 28 (2-3): 93-110 (1997)A realistic involvement of formal methods., и . Softw. Pract. Exp., 31 (2): 191-208 (2001)