Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ludovic Casset
Développement Formel d'Un Vérifieur Embarqué De Byte-Code Java
Techniques et sciences informatiques
Related publications
Byte Code Verification for Java Smart Cards Based on Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algebraic Transformation of Descriptive Vector Byte-Code Sequences
Effective Identification of Source Code Authors Using Byte-Level Information
Dynamic Code Evolution for Java
Développement d'Un Modèle De Durabilité De Poutres Composites Unidirectionnelles Renforcées Par Des Fibres De Verre
Oil and Gas Science and Technology
Fuel Technology
Power Technology
Chemical Engineering
Energy Engineering
Formule Intégrale & Développement Asymptotique Du Nombre De Points d'Un Réseau Dans l'Espace Hyperbolique
Séminaire de théorie spectrale et géométrie
Joogie: Infeasible Code Detection for Java
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Classifying Code Comments in Java Mobile Applications
Systèmes De Surveillance Formel Et Informel : Comment Construire Des Liens
Revue d’élevage et de médecine vétérinaire des pays tropicaux
