-
1
-
2
Formal Engineering for Industrial Software Development Using the SOFL Method
Veröffentlicht 2004DE-706
URL des Eerstveröffentlichers
Elektronisch E-Book -
3
Formal Engineering for Industrial Software Development Using the SOFL Method
Veröffentlicht 2004Inhaltsverzeichnis
Buch -
4
Structured object-oriented formal language and method 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papers
Veröffentlicht 2023Weitere Verfasser: “… Liu, Shaoying …”
VolltextElektronisch Tagungsbericht E-Book -
5
Mathematics in software reliability and quality assurance
Veröffentlicht 2022Weitere Verfasser: kostenfrei
kostenfrei
Elektronisch E-Book -
6
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Veröffentlicht 2024Weitere Verfasser:
VolltextElektronisch E-Book -
7
Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers
Veröffentlicht 2021Weitere Verfasser: DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-703
DE-20
DE-706
DE-29
DE-739
DE-355
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
8
Structured object-oriented formal language and method 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
Veröffentlicht 2020Weitere Verfasser: DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
9
Structured object-oriented formal language and method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers
Veröffentlicht 2019Weitere Verfasser: DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
10
Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers
Veröffentlicht 2018Weitere Verfasser:
VolltextElektronisch Tagungsbericht E-Book -
11
Structured object-oriented formal language and method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Liu, Shaoying 1960- …”
VolltextElektronisch Tagungsbericht E-Book -
12
Structured object-oriented formal language and method 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
13
Structured object-oriented formal language and method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers
Veröffentlicht 2016Weitere Verfasser: “… Liu, Shaoying 1960- …”
VolltextElektronisch Tagungsbericht E-Book -
14
Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers
Veröffentlicht 2013Weitere Verfasser: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
15
Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers
Veröffentlicht 2013Weitere Verfasser: “… Liu, Shaoying 1960- …”
Volltext
Inhaltsverzeichnis
Abstract
Elektronisch Tagungsbericht E-Book -
16
Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers
Veröffentlicht 2016Weitere Verfasser: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch -
17
Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers
Veröffentlicht 2016Weitere Verfasser: “… Liu, Shaoying 1960- …”
Tagungsbericht Buch