bib.howest.be Search Results

You searched for: Auteur Shaoying Liu

1 - 10 of 10

1. Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Author:: Shaoying Liu
Publisher:: Springer Nature 2025
Format:: e-book

2. Structured Object-Oriented Formal Language and Method

Author:: Shaoying Liu, Zhenhua Duan; Duan, Zhenhua
Publisher:: Springer International Publishing 2016
Format:: e-book

3. Structured Object-Oriented Formal Language and Method

Author:: Shaoying Liu, Zhenhua Duan; Duan, Zhenhua
Publisher:: Springer International Publishing 2014
Format:: e-book

4. Structured Object-Oriented Formal Language and Method

Author:: Tian; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan; Duan, Zhenhua; Liu, Shaoying; Nagoya, Fumiko
Publisher:: Springer International Publishing 2018
Format:: e-book

5. Formal Methods and Software Engineering

Author:: Ogata; Lawford, Mark; Liu, Shaoying
Publisher:: Springer International Publishing 2016
Format:: e-book

6. Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Author:: Liu, Shaoying.; Duan, Zhenhua; Liu, Ai
Publisher:: Cham Springer International Publishing AG 2023
Format:: e-book

7. Structured Object-Oriented Formal Language and Method

Author:: Miao; Duan, Zhenhua; Liu, Shaoying; Tian, Cong
Publisher:: Springer International Publishing 2020
Format:: e-book

8. Structured Object-Oriented Formal Language and Method

Author:: Duan; Liu, Shaoying; Nagoya, Fumiko; Tian, Cong
Publisher:: Springer International Publishing 2019
Format:: e-book

9. Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Author:: Xue, Jinyun; Duan, Zhenhua; Liu, Shaoying; Nagoya, Fumiko
Publisher:: Springer International Publishing 2021
Format:: e-book

10. Formal Methods and Software Engineering

Author:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book