Component Based System Modelling for Easier Verification
2002
Details
Title
Component Based System Modelling for Easier Verification
Author(s)
Buchs, Didier ; Costa, Sandro ; Hurzeler, David
Published in
Concurrency in Dependable Computing
Editor(s)
Pages
61-86
Date
2002
Publisher
Kluwer
ISBN
1402070438
Keywords
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Work produced at EPFL
Book chapters
Published
Work produced at EPFL
Book chapters
Published
Record creation date
2005-09-20