Suchergebnisse - Liu, Shaoying
-
1
-
2Formal Engineering for Industrial Software Development: Using the SOFL MethodVeröffentlicht 2004Elektronisch E-Book
-
3Formal Engineering for Industrial Software Development: Using the SOFL MethodVeröffentlicht 2004Inhaltsverzeichnis
Buch -
4Structured object-oriented formal language and method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papersVeröffentlicht 2016Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Online lesen
Inhaltsverzeichnis
Elektronisch Tagungsbericht E-Book -
5Structured object-oriented formal language and method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papersVeröffentlicht 2013Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
6Structured object-oriented formal language and method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papersVeröffentlicht 2013Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Inhaltsverzeichnis
Elektronisch Tagungsbericht E-Book -
7Mathematics in software reliability and quality assuranceVeröffentlicht 2022Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Online lesen (frei zugänglich)
Elektronisch E-Book -
8Structured object-oriented formal language and method: 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papersVeröffentlicht 2023Weitere beteiligte Personen: “… Liu, Shaoying …”
Online lesen
Elektronisch Tagungsbericht E-Book -
9Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, ProceedingsVeröffentlicht 2024Weitere beteiligte Personen: “… Liu, Shaoying …”
Online lesen
Elektronisch E-Book -
10Structured object-oriented formal language and method: 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papersVeröffentlicht 2021Weitere beteiligte Personen: “… Liu, Shaoying …”
Online lesen
Elektronisch Tagungsbericht E-Book -
11Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papersVeröffentlicht 2020Weitere beteiligte Personen: “… Liu, Shaoying …”
Online lesen
Elektronisch Tagungsbericht E-Book -
12Structured object-oriented formal language and method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papersVeröffentlicht 2019Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Online lesen
Elektronisch Tagungsbericht E-Book -
13Structured object-oriented formal language and method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papersVeröffentlicht 2018Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Online lesen
Elektronisch Tagungsbericht E-Book -
14Structured object-oriented formal language and method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papersVeröffentlicht 2017Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Online lesen
Elektronisch Tagungsbericht E-Book -
15Structured object-oriented formal language and method: 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papersVeröffentlicht 2017Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
16Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papersVeröffentlicht 2016Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
17Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papersVeröffentlicht 2016Weitere beteiligte Personen: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch