Développement Formel d'Un Vérifieur Embarqué De Byte-Code Java

Techniques et sciences informatiques
doi 10.3166/tsi.22.33-60
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Lavoisier

Related search

Byte Code Verification for Java Smart Cards Based on Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Algebraic Transformation of Descriptive Vector Byte-Code Sequences

2016English

Effective Identification of Source Code Authors Using Byte-Level Information

2006English

Dynamic Code Evolution for Java

2010English

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 TechnologyPower TechnologyChemical EngineeringEnergy Engineering
2001English

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
1994English

Joogie: Infeasible Code Detection for Java

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Classifying Code Comments in Java Mobile Applications

2018English

Systèmes De Surveillance Formel Et Informel : Comment Construire Des Liens

Revue d’élevage et de médecine vétérinaire des pays tropicaux
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy