1
Formal Methods for Components and Objects [E-Book] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques /

Full text 
Favorites
Saved in:
3
NASA Formal Methods [E-Book] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /

Full text 
Favorites
Saved in:
4
NASA Formal Methods [E-Book] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Full text 
Favorites
Saved in:
5
Coordination Models and Languages [E-Book] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /

Full text 
Favorites
Saved in:
6
Software Engineering for Resilient Systems [E-Book] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /

Full text 
Favorites
Saved in:
7
NASA Formal Methods [E-Book]: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

Full text 
Favorites
Saved in:
8
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Full text 
Favorites
Saved in:
9
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Full text 
Favorites
Saved in:
10
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results