Details
Title
Using Concurrency and Formal Methods for the Design of Safe Process Control
Author(s)
Cattel, T.
Published in
PDSE/ICSE-18 workshop
Conference
Berlin, Germany
Date
1996
Laboratories
LTI
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LTI - Computer Networking Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2007-01-11