[IEEE 1999 IEEE International Symposium on Computer Aided Control System Design - Kohala Coast, HI, USA (22-27 Aug. 1999)] Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404) - An environment for model-checking of logic control systems with hybrid dynamics
Kowalewski, S., Bauer, N., Preussig, J., Stursberg, O., Treseler, H.Year:
1999
Language:
english
DOI:
10.1109/CACSD.1999.808631
File:
PDF, 644 KB
english, 1999