Designing Dependable Logic Controllers Using Algebraic Specifications
IFAC Proceedings Volumes
doi 10.1016/s1474-6670(17)30763-2
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 2004
Authors
Publisher
Elsevier BV
Available in full text
September 1, 2004
Elsevier BV