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

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

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and o...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Julliand, Jacques, Brucker, Achim D.
Materialtyp:	E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Serie:	Lecture Notes in Computer Science 7305
Ämnen:	Computer science. Software engineering. Logic design. Computer simulation.
Länkar:	Click here to view the full text content
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

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

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

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

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Publicerad: (2012)

tests and proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Publicerad: (2009)

Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /
Publicerad: (2012)

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

Adapting proofs-as-programs the curry-howard protocol /
av: Poernomo, Iman Hafiz
Publicerad: (2005)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Publicerad: (2012)

NETWORKING 2012 workshops : International IFIP TC 6 Workshops, ETICS, hetsNets, and compNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings /
Publicerad: (2012)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Publicerad: (2012)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Publicerad: (2010)

Multicore software engineering, performance, and tools : International conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Publicerad: (2012)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Publicerad: (2012)

Programs, proofs, processes 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30- July 4, 2010. Proceedings /
Publicerad: (2010)

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

Progress in VLSI design and test : 16th International symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
Publicerad: (2012)

Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Publicerad: (2007)

Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /
Publicerad: (2014)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publicerad: (2013)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Publicerad: (2012)

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 /
Publicerad: (2010)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Publicerad: (2014)

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

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

Hybrid systems: computation and control (vol. # 3414) 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Publicerad: (2005)

Model driven engineering languages and systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings /
Publicerad: (2012)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Publicerad: (2012)

ABZ 2014: The landing gear case study : case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
Publicerad: (2014)

Formal techniques for distributed systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
Publicerad: (2012)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Publicerad: (2012)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Publicerad: (2012)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Publicerad: (2012)

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
Publicerad: (2012)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Publicerad: (2012)

NETWORKING 2012 : 11th International IFIP TC 6 networking conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I /
Publicerad: (2012)

NETWORKING 2012 : 11th International IFIP TC 6 networking conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II /
Publicerad: (2012)

Conceptual modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings /
Publicerad: (2012)

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

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