المؤلفون: Kido, Kengo, Sedwards, Sean, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Systems and Control

الوصول الحر: http://arxiv.org/abs/1712.06311Test

المؤلفون: Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1709.00314Test

المؤلفون: Kido, Kengo, Chaudhuri, Swarat, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/1511.00825Test

المؤلفون: Kido, Kengo, Sedwards, Sean, Hasuo, Ichiro

المصدر: IFAC-PapersOnLine ; volume 51, issue 16, page 247-252 ; ISSN 2405-8963

مصطلحات موضوعية: Control and Systems Engineering

الإتاحة: https://doi.org/10.1016/j.ifacol.2018.08.042Test
https://api.elsevier.com/content/article/PII:S2405896318311583?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S2405896318311583?httpAccept=text/plainTest

المؤلفون: Kido, Kengo, Sedwards, Sean, Hasuo, Ichiro

المصدر: Cyber Physical Systems. Design, Modeling, and Evaluation ; Lecture Notes in Computer Science ; page 109-126 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030179090 9783030179106

الإتاحة: https://doi.org/10.1007/978-3-030-17910-6_9Test

المؤلفون: Kido, Kengo, Chaudhuri, Swarat, Hasuo, Ichiro

المصدر: Lecture Notes in Computer Science ; Verification, Model Checking, and Abstract Interpretation ; page 229-249 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662491218 9783662491225

الإتاحة: https://doi.org/10.1007/978-3-662-49122-5_11Test

المؤلفون: Kido, Kengo, Chaudhuri, Swarat, Hasuo, Ichiro

المصدر: Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p229-249, 21p