-
1
Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
2
Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
3
Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
4
Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octobe...
Veröffentlicht 2021Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
5
Leveraging applications of formal methods, verification and validation verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, p...
Veröffentlicht 2019Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
6
Leveraging applications of formal methods, verification and validation tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhod...
Veröffentlicht 2021Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
7
Leveraging applications of formal methods, verification and validation modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part...
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
8
Leveraging applications of formal methods, verification and validation industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceed...
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
9
Leveraging applications of formal methods, verification and validation distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceed...
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
10
Models, mindsets, meta the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday
Veröffentlicht 2019Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
Volltext öffnen
Elektronisch E-Book -
11
Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...
Veröffentlicht 2022Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
12
Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
13
Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
14
Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
15
Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings
Veröffentlicht 2016Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
16
Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...
Veröffentlicht 2022Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
17
Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...
Veröffentlicht 2022Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
18
Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
19
Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...
Veröffentlicht 2020Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
-
20
Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Margaria-Steffen, Tiziana 1964- …”
