Using Concurrency and Formal Methods for the Design of Safe Process Control


Published in:
PDSE/ICSE-18 workshop
Presented at:
Berlin, Germany
Year:
1996
Laboratories:




 Record created 2007-01-11, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)