A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic - Archive ouverte HAL Accéder directement au contenu
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

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⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More