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 |
καταχωρήστε σχόλιο πρώτοι!