![]() | ![]() |
2003 | ||
---|---|---|
5 | EE | Lilian Burdy, Ludovic Casset, Antoine Requet: Développement formel d'un vérifieur embarqué de byte-code Java. Technique et Science Informatiques 22(1): 33-60 (2003) |
2002 | ||
4 | EE | Ludovic Casset, Jean-Louis Lanet: Increasing smart card dependability. ACM SIGOPS European Workshop 2002: 209-212 |
3 | EE | Ludovic Casset, Lilian Burdy, Antoine Requet: Formal Development of an Embedded Verifier for Java Card Byte Code. DSN 2002: 51-58 |
2 | EE | Ludovic Casset: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. FME 2002: 290-309 |
1999 | ||
1 | Ludovic Casset, Jean-Louis Lanet: How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105 |
1 | Lilian Burdy | [3] [5] |
2 | Jean-Louis Lanet | [1] [4] |
3 | Antoine Requet | [3] [5] |