Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT
Yazdır
1. 
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings için kapak resmi
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: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
2. 
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings için kapak resmi
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: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
3. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
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: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
4. 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings için kapak resmi
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: 
Alıntı: 
Computer Science Logic and Foundations of Programming.