Détails
Titre
Using Concurrency and Formal Methods for the Design of Safe Process Control
Auteur(s)
Cattel, T.
Publié dans
PDSE/ICSE-18 workshop
Présenté à
Berlin, Germany
Date
1996
Laboratoires
LTI
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LTI - Laboratoire de téléinformatique
Papiers de conférence
Travail produit à l'EPFL
Publié
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2007-01-11