Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
by 
Moreira, Ana. editor.
https://doi.org/10.1007/978-3-642-41533-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
by 
Salaün, Gwen. editor.
https://doi.org/10.1007/978-3-642-24431-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
by 
Giese, Holger. editor.
https://doi.org/10.1007/978-3-642-16277-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.