( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The B-Method.

, , , , и . VDM Europe (2), том 552 из Lecture Notes in Computer Science, стр. 398-405. Springer, (1991)

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.

Jean-Florent Raymond

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Helga Jeanblanc

Johann Jeanson

Marc Jean-Richard-dit-Bressel

 

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

Formal methods in industry: achievements, problems, future.. ICSE, стр. 761-768. ACM, (2006)Steam-Boiler Control Specification Problem.. Formal Methods for Industrial Applications, том 1165 из Lecture Notes in Computer Science, стр. 500-509. Springer, (1995)Using Design Patterns in Formal Methods: An Event-B Approach., и . ICTAC, том 5160 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2008)Train Systems.. RODIN Book, том 4157 из Lecture Notes in Computer Science, стр. 1-36. Springer, (2006)A Formal Approach To Large Software Construction.. MPC, том 375 из Lecture Notes in Computer Science, стр. 1-20. Springer, (1989)The Rodin Platform Has Turned Ten., и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 1-8. Springer, (2014)A System Development Process with Event-B and the Rodin Platform.. ICFEM, том 4789 из Lecture Notes in Computer Science, стр. 1-3. Springer, (2007)The B-Method., , , , и . VDM Europe (2), том 552 из Lecture Notes in Computer Science, стр. 398-405. Springer, (1991)Faultless Systems: Yes We Can!.. Computer, 42 (9): 30-36 (2009)A Practical Approach to the Analysis of Concurrent Systems.. The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 66-96. Springer, (1983)