Component Based System Modelling for Easier Verification
2002
Détails
Titre
Component Based System Modelling for Easier Verification
Auteur(s)
Buchs, Didier ; Costa, Sandro ; Hurzeler, David
Publié dans
Concurrency in Dependable Computing
Editeur(s)
Pages
61-86
Date
2002
Editeur
Kluwer
ISBN
1402070438
Mots-clés (libres)
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
Travail produit à l'EPFL
Chapitres de livre
Publié
Travail produit à l'EPFL
Chapitres de livre
Publié
Date de création de la notice
2005-09-20