[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Scalable methods of discrete plant model generation for closed-loop model checking
- 作者Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy
- 文件大小197.76KB
- 发表时间2017
- DOI10.1109/iecon.2017.8216949
- 页码5483-5488
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Foveal machine vision systemsBandera, C.; Scott, P.D. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Whence networkingTaylor, L.L. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Intelligent tutoring systems: perspectiveBurns, H.L.; Parlett, J.W.; Bushman, J.B. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Test sequencing in modular systemsPattipati, K.R.; Dontamsetty, M. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Multilayered cognitive processingHofmann, M.O. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Distributed error monitoringGreenberg, A.D. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Rules extraction for fuzzy control systemsChen, Y.Y. · 1989
[IEEE Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Cambridge, MA, USA (14-17 Nov. 1989)] Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics - Requirement-driven decision support systemsRubin, S.H. · 1989
Rhabdoid Tumours of the Spermatic CordY. KAWANISHI; M. TAMURA; K. AKIYAMA; M. AKIYAMA; T. TANAKA; A. NUMATA; M. YUASA; A. IMAGAWA · 1989
Cinematographic study on the reconstructed esophagusH. Akiyama; Z. Yamazaki; Y. Fujimori; Y. Ogawa; T. Nanasawa; T. Kogure; Y. Itai · 1973
Fundamental study for development magnetic drug delivery systemY. Hirota; Y. Akiyama; Y. Izumi; S. Nishijima · 2009
KASKA experiment: A reactor projectH. Furuta; K. Akiyama; M. Aoki; Y. Fukuda; Y. Funaki; T. Hara; T. Haruna; N. Ishihara; M. Katsumata; T. Kawasaki; M. Kuze; J. Maeda; T. Matsubara; T. Matsumoto; H. Miyata; Y. Nagasaka; T. Nakagawa; N. Nakajima; H. Nakano; K. Nitta; Y. Nomachi; K. Sakai; Y. Sakamoto; K. Sakuma; F. Suekane; T. Sumiyoshi; H. Tabata; N. Tamura; Y. Tsuchiya · 2011
Sky surveys with ASCA — Large Sky SurveyY. Ueda; T. Takahashi; H. Inoue; T. Tsuru; M. Sakano; K. Ohta; M. Akiyama; Y. Ishisaki; Y. Ogasaka; K. Makishima; T. Yamada · 1998
Identification of the new isotope241BkM. Asai; K. Tsukada; S. Ichikawa; M. Sakama; H. Haba; Y. Nagame; I. Nishinaka; K. Akiyama; A. Toyoshima; T. Kaneko; Y. Oura; Y. Kojima; M. Shibata · 2003
Skin infection caused by Mycobacterium aviumY. ICHIKI; M. HIROSE; T. AKIYAMA; C. ESAKI; Y. KITAJIMA · 1997
Diffuse finely nodular lesions of the esophagusY. Itai; T. Kogure; Y. Okuyama; H. Akiyama · 1977