Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Saila: | (Lecture Notes in Computer Science)
|
| Sarrera elektronikoa: | Ver documento en línea |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak: Runtime Verification :
- Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
- Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers /
- Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
- Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
- Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
- Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /