EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 2. 2003
Langerak, R. and Polderman, J.W. and Krilavičius, T.
(2003)
Stability Analysis for Hybrid Automata Using Conservative Gains.
In: IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, 16-18 June 2003, Saint-Malo, France.
pp. 377-382.
ISBN not assigned
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 08:46:29 CEST 2012. |
||||||||||||||||