Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
by 
Bensalem, Saddek. editor.
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
by 
Legay, Axel. editor.
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
by 
Legay, Axel. editor.
https://doi.org/10.1007/978-3-642-40787-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
by 
Bertacco, Valeria. editor.
https://doi.org/10.1007/978-3-319-03077-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.