Conference
Design of verified logic control programs
| Τίτλος: | Design of verified logic control programs |
|---|---|
| Συγγραφείς: | Lohmann, Sven, Lan Anh Dinh Thi, Stursberg, Olaf |
| Πηγή: | 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. :1855-1860 Oct, 2006 |
| Relation: | 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 0780397975 9780780397972 |
|---|---|
| ISSN: | 21653011 2165302X |
| DOI: | 10.1109/CACSD-CCA-ISIC.2006.4776923 |