Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

שמור ב:

מידע ביבליוגרפי
מחבר תאגידי:	SpringerLink (Online service)
מחברים אחרים:	Ur, Shmuel, Ziv, Avi, Bin, Eyal
פורמט:	ספר אלקטרוני
שפה:	English
יצא לאור:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
סדרה:	Lecture Notes in Computer Science, 4383
נושאים:	Software engineering Logic design Computer science
גישה מקוונת:	Click here to view the full text content
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
יצא לאור: (2009)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
מאת: Ur, Shmuel
יצא לאור: (2006)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
יצא לאור: (2013)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
יצא לאור: (2012)

Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
יצא לאור: (2014)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
יצא לאור: (2012)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
יצא לאור: (2012)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
יצא לאור: (2013)

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
יצא לאור: (2011)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
יצא לאור: (2012)

Runtime verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
יצא לאור: (2007)

Verification, model checking, and abstract interpretation (vol. # 3855) : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
יצא לאור: (2013)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
יצא לאור: (2010)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
יצא לאור: (2014)

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
יצא לאור: (2013)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
יצא לאור: (2007)

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
יצא לאור: (2011)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
יצא לאור: (2009)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Tests for software accreditation and verification.
יצא לאור: (2006)

Hardware and software : verification and testing /
יצא לאור: (2008)

Interactive systems. Design, specification, and verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /
מאת: Doherty, Gavin
יצא לאור: (2007)

Time for verification essays in memory of amir pnueli /
יצא לאור: (2010)

Verification of sequential and concurrent programs
מאת: Apt, Krzysztof R.
יצא לאור: (2009)

Hardware and software : verification and testing /
יצא לאור: (2008)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
יצא לאור: (2013)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
יצא לאור: (2007)

Software testing, verification and reliability
יצא לאור: (2012)

Software testing, verification and reliability
יצא לאור: (2012)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
יצא לאור: (2010)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
יצא לאור: (2012)

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 /
יצא לאור: (2006)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
מאת: Cousot, Radhia
יצא לאור: (2005)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
יצא לאור: (2010)

Verification, validation and testing in software engineering /
יצא לאור: (2007)

Rigorous software development an introduction to program verification /
יצא לאור: (2011)

Logic synthesis and verification /
יצא לאור: (2002)

Computer aided verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
יצא לאור: (2014)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
יצא לאור: (2013)