( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Java Applet Correctness: A Developer-Oriented Approach.

, , и . FME, том 2805 из Lecture Notes in Computer Science, стр. 422-439. Springer, (2003)

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.

Antoine Kahn

Antoine Derighetti

Rainer Antoine

Antoine Allam

Antoine Jammal

 

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

Application of the B formal method to the proof of a type verification algorithm., , и . HASE, стр. 115-124. IEEE Computer Society, (2000)Java Card Code Generation from B Specifications., , , и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 306-318. Springer, (2003)Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project., , , и . ABZ, том 7316 из Lecture Notes in Computer Science, стр. 369-372. Springer, (2012)Java Applet Correctness: A Developer-Oriented Approach., , и . FME, том 2805 из Lecture Notes in Computer Science, стр. 422-439. Springer, (2003)A B model for ensuring soundness of a large subset of the Java Card virtual machine.. Sci. Comput. Program., 46 (3): 283-306 (2003)Extending B with Control Flow Breaks., и . ZB, том 2651 из Lecture Notes in Computer Science, стр. 513-527. Springer, (2003)Développement formel d'un vérifieur embarqué de byte-code Java., , и . Technique et Science Informatiques, 22 (1): 33-60 (2003)JACK - A Tool for Validation of Security and Behaviour of Java Applications., , , , , , , и . FMCO, том 4709 из Lecture Notes in Computer Science, стр. 152-174. Springer, (2006)Formal Proof of Smart Card Applets Correctness., и . CARDIS, том 1820 из Lecture Notes in Computer Science, стр. 85-97. Springer, (1998)BART: A Tool for Automatic Refinement.. ABZ, том 5238 из Lecture Notes in Computer Science, стр. 345. Springer, (2008)