EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2000
Mader, A.H.
(2000)
What is the method in applying formal methods to PLC applications?
In: 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Dortmund, Germany.
pp. 165-171.
Shaker Verlag.
ISBN 3-8265-7836-8
This list was generated on Thu May 24 06:10:20 CEST 2012. |
||||||||||||||||