search result

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
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
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 9953
Media group: MONOGRAPHIE
Cover von Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XI
Search for this author
Year: 2015
Publisher: München, Fortiss GmbH
Media group: TECHNICAL REPORT
Cover von Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XII
Search for this author
Year: 2016
Publisher: München, Fortiss GmbH
Media group: TECHNICAL REPORT
Cover von Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9276
Media group: MONOGRAPHIE
Cover von MontiArcAutomaton
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton
Author: Ringert, Jan Oliver; Rumpe, Bernhard; Wortmann, Andreas Search for this author
Year: 2014
Publisher: Aachen, Shaker
Series: Aachener Informatik-Berichte, Software Engineering; 20
Media group: MONOGRAPHIE
Cover von Information Modelling and Knowledge Bases XXVI
Search for this author
Year: 2015
Publisher: Amsterdam, IOS Press
Series: Frontiers in artificial intelligence and applications; 272
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 The Pacemaker Challenge; 2
Developing Certifiable Medical Devices : pp. 17-38
Search for this author
Year: 2014
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0