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

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

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Parker, David, Donaldson, Alastair
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2012.
Seri Bilgileri:	Lecture Notes in Computer Science 7385
Konular:	Computer science. Software engineering. Logic design.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

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

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Baskı/Yayın Bilgisi: (2011)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Yazar:: Cousot, Radhia
Baskı/Yayın Bilgisi: (2005)

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

Model checking and artificial intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Baskı/Yayın Bilgisi: (2007)

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

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
Baskı/Yayın Bilgisi: (2013)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Reliable software technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Baskı/Yayın Bilgisi: (2013)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

CONCUR 2012 - Concurrency theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Reliable software technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

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

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Baskı/Yayın Bilgisi: (2013)