Limit Search Results
Author
SpringerLink (Online service)
(56)
Bonsangue, Marcello M. editor.
(9)
de Boer, Frank S. editor.
(6)
Schwiegelshohn, Uwe. editor.
(5)
Frachtenberg, Eitan. editor.
(4)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
by 
Badger, Julia M. editor.
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
by 
De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-642-38493-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
by 
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
https://doi.org/10.1007/978-3-642-35887-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
by 
Brat, Guillaume. editor.
https://doi.org/10.1007/978-3-642-38088-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
by 
Cámara, Javier. editor.
https://doi.org/10.1007/978-3-642-36249-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
by 
Gorbenko, Anatoliy. editor.
https://doi.org/10.1007/978-3-642-40894-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34032-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
by 
Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-642-25271-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34026-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
by 
Goodloe, Alwyn. editor.
https://doi.org/10.1007/978-3-642-28891-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
by 
Bobaru, Mihaela. editor.
https://doi.org/10.1007/978-3-642-20398-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-642-17071-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
Select an Action