A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 1995

A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic

Ammar Attoui
  • Fonction : Auteur
David R.C. Hill
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Domaines

Modélisation et simulation

Bastien DOREAU  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02076260

Soumis le : vendredi 22 mars 2019-09:07:16

Dernière modification le : samedi 22 avril 2023-04:32:04

Fichier non déposé

Dates et versions

hal-02076260 , version 1 (22-03-2019)

Identifiants

Citer

Ammar Attoui, David R.C. Hill. A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic. Sixth International Symposium on Software Reliability Engineering ( ISSRE 1995), 1995, Toulouse, France. pp.387--392, ⟨10.1109/ISSRE.1995.497682⟩. ⟨hal-02076260⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS TDS-MACS CLERMONT-AUVERGNE-INP
11 Consultations
0 Téléchargements

Altmetric

Partager

More