Search the dblp DataBase
Ludovic Casset :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ludovic Casset , Lilian Burdy , Antoine Requet Formal Development of an Embedded Verifier for Java Card Byte Code. [Citation Graph (0, 0)][DBLP ] DSN, 2002, pp:51-58 [Conf ] Ludovic Casset , Jean-Louis Lanet How to Formally Specify the Java Bytecode Semantivs Using the B Method. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:104-105 [Conf ] Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. [Citation Graph (0, 0)][DBLP ] FME, 2002, pp:290-309 [Conf ] Lilian Burdy , Ludovic Casset , Antoine Requet Développement formel d'un vérifieur embarqué de byte-code Java. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2003, v:22, n:1, pp:33-60 [Journal ] Increasing smart card dependability. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs