Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Oleg Sokolsky, Serdar Ta..ran (edición)
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Berlín, Alemania : Springer, 2007, c2007
Цуврал:	(Lecture Notes in Computer Science)
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс: 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 : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /
Түргэн харуулах
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Түргэн харуулах
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
Түргэн харуулах
Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /
Түргэн харуулах
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
Түргэн харуулах
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Түргэн харуулах
Models@run.time : Foundations, Applications, and Roadmaps /
Түргэн харуулах
Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
Түргэн харуулах
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
Түргэн харуулах
Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /
Түргэн харуулах
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Түргэн харуулах
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Түргэн харуулах
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Түргэн харуулах
Early Aspects: Current Challenges and Future Directions : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
Түргэн харуулах
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings /
Түргэн харуулах
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Түргэн харуулах
Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /
Түргэн харуулах
Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
Түргэн харуулах
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /