Search

Your search keyword '"Hu, Qimin"' showing total 33 results
Start Over Author "Hu, Qimin"
33 results on '"Hu, Qimin"'

4. Formal Development and Verification of Reusable Component in PAR Platform

Author

Hu, Qimin, Xue, Jinyun, You, Zhen, Cheng, Zhuo, Zuo, Zhengkang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Miao, Huaikou, editor, Tian, Cong, editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2020
Full Text
View/download PDF

6. Formal Specification and Verification for Real-Time Scheduling Based on PAR

Author

You, Zhen, Cheng, Zhuo, Xue, Jinyun, Hu, Qimin, Xie, Wuping, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Duan, Zhenhua, editor, Liu, Shaoying, editor, Tian, Cong, editor, and Nagoya, Fumiko, editor

Published
2019
Full Text
View/download PDF

7. PAR: A Practicable Formal Method and Its Supporting Platform

Author

Xue, Jinyun, Zheng, Yujun, Hu, Qimin, You, Zhen, Xie, Wuping, Cheng, Zhuo, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Sun, Jing, editor, and Sun, Meng, editor

Published
2018
Full Text
View/download PDF

10. Formal Development of Linear Structure Reusable Components in PAR Platform

Author

Hu, Qimin, Xue, Jinyun, You, Zhen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, Duan, Zhenhua, editor, Tian, Cong, editor, and Nagoya, Fumiko, editor

Published
2017
Full Text
View/download PDF

11. Research on Formal Development of Non-recursive Algorithms of Graph Search

Author

Hu, Qimin, Xue, Jinyun, You, Zhen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2016
Full Text
View/download PDF

14. Formal Semantics of Orc Based on TLA

Author

You, Zhen, Xue, Jinyun, Hu, Qimin, Hong, Yi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2015
Full Text
View/download PDF

29. Direct growth of ZnTe on Si(100) and Si(111) substrate by molecular beam epitaxy

Author

Lili Wu, Hu Qimin, Wei Li, Chu Qin, and Cai Liu

Subjects
Biomaterials, Materials science, Polymers and Plastics, business.industry, Metals and Alloys, Substrate (chemistry), Optoelectronics, business, High-resolution transmission electron microscopy, Surfaces, Coatings and Films, Electronic, Optical and Magnetic Materials, Molecular beam epitaxy
Published
2019

Catalog

Books, media, physical & digital resources
See catalog results