Testing practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /

Testing practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Fraser, Gordon, Bottaci, Leonardo
Format:	E-Book
Sprache:	English
Veröffentlicht:	Berlin, Heidelberg Springer 2010.
Schriftenreihe:	Lecture Notes in Computer Science, 6303
Schlagworte:	Computer science Computer Communication Networks Software engineering Logic design
Online Zugang:	Click here to view the full text content
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Veröffentlicht: (2010)

Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
von: Fraser, Gordon
Veröffentlicht: (2010)

Principles and practice of constraint programming CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Veröffentlicht: (2010)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Veröffentlicht: (2010)

Business process management 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
Veröffentlicht: (2010)

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
Veröffentlicht: (2010)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Veröffentlicht: (2010)

Tests and proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
Veröffentlicht: (2014)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Veröffentlicht: (2010)

Research into practice - reality and gaps 6th international conference on the quality of software architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
Veröffentlicht: (2010)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Veröffentlicht: (2010)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Veröffentlicht: (2010)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Veröffentlicht: (2010)

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Veröffentlicht: (2013)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Veröffentlicht: (2010)

Hybrid metaheuristics 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
Veröffentlicht: (2010)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Veröffentlicht: (2014)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Veröffentlicht: (2010)

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Veröffentlicht: (2010)

Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Veröffentlicht: (2010)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Veröffentlicht: (2010)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Veröffentlicht: (2010)

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
Veröffentlicht: (2013)

Evolvable systems: from biology to hardware 9th international conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Veröffentlicht: (2010)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Veröffentlicht: (2013)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Veröffentlicht: (2012)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Veröffentlicht: (2012)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Veröffentlicht: (2007)

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Veröffentlicht: (2010)

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Veröffentlicht: (2010)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Veröffentlicht: (2009)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Veröffentlicht: (2010)

Software composition 9th international conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Veröffentlicht: (2010)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Veröffentlicht: (2010)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Veröffentlicht: (2010)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Veröffentlicht: (2010)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Veröffentlicht: (2014)

Theory and practice of model transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Veröffentlicht: (2012)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
Veröffentlicht: (2010)

Distributed, parallel and biologically inspired systems 7th IFIP TC 10 working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Veröffentlicht: (2010)