search result

Cover von Part II.; Verification

Part II.; Verification
Leveraging Applications of Formal Methods, Verification and Validation . 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 - 9, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11245
Media group: MONOGRAPHIE
Cover von Part III.; Distributed Systems

Part III.; Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation . 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 - 9, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 11246
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22 - 29, 2017, Proceedings
2017
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 10205/10206
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems

Part I.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 10205
Media group: MONOGRAPHIE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems

Part II.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 10206
Media group: MONOGRAPHIE
Cover von Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10 - 14, 2016, Proceedings
2016
Berlin, Springer
Series: Lecture notes in computer science; 9952/9953
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Foundational Techniques

Part I.; Foundational Techniques
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 9952
Media group: MONOGRAPHIE
Cover von Part II.; Discussion, Dissemination, Applications

Part II.; Discussion, Dissemination, Applications
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 9953
Media group: MONOGRAPHIE
Cover von Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation
Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014, Proceedings
2014
Heidelberg, Springer
Series: Lecture notes in computer science; 8802/8803
Media group: GESAMTWERK
Volumes loading
Cover von Software Business

Software Business
From Physical Products to Software Services and Solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11 - 14, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 150
Media group: MONOGRAPHIE
OPEN V 11.1.0.0