Finite Model Generation for Distributed Java Programs - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Finite Model Generation for Distributed Java Programs

Rabea Boulifa
Active objects, semantics, Internet and security
Eric Madelaine

Domaines

Informatique [cs] Calcul formel [cs.SC]

Rabéa Ameur-Boulifa  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02988879

Soumis le : mercredi 4 novembre 2020-22:39:40

Dernière modification le : lundi 26 février 2024-11:22:07

Fichier non déposé

Dates et versions

hal-02988879 , version 1 (04-11-2020)

Identifiants

  • HAL Id : hal-02988879 , version 1

Citer

Rabea Boulifa, Eric Madelaine. Finite Model Generation for Distributed Java Programs. Workshop on Model-Checking for Dependable Software-Intensive Systems, 2003, San Francisco, United States. ⟨hal-02988879⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA I3S INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-COTEDAZUR UNIV-RENNES UR1-MATH-NUM
30 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More