A Formal Specification Framework for Object-Oriented Distributed Systems
2000
Détails
Titre
A Formal Specification Framework for Object-Oriented Distributed Systems
Auteur(s)
Buchs, Didier ; Guelfi, Nicolas
Publié dans
IEEE Transactions on Software Engineering
Volume
26
Numéro
7
Pages
635-652
Date
2000
Mots-clés (libres)
Autres identifiant(s)
DAR: 2436
Afficher la publication dans Web of Science
Afficher la publication dans Web of Science
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Date de création de la notice
2005-09-20