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...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Parker, David, Donaldson, Alastair
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2012.
シリーズ:	Lecture Notes in Computer Science 7385
主題:	Computer science. Software engineering. Logic design.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
出版事項: (2010)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
出版事項: (2009)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
出版事項: (2013)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
出版事項: (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 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
出版事項: (2011)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
出版事項: (2007)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
著者:: Cousot, Radhia
出版事項: (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 /
出版事項: (2007)

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

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

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
出版事項: (2013)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
出版事項: (2014)

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

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
出版事項: (2013)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
出版事項: (2013)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
出版事項: (2013)

Reliable software technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
出版事項: (2014)

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
出版事項: (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 /
出版事項: (2012)

Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /
出版事項: (2012)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
出版事項: (2012)

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
出版事項: (2014)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
出版事項: (2012)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
出版事項: (2013)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
出版事項: (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 /
出版事項: (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 /
出版事項: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
出版事項: (2012)

CONCUR 2012 - Concurrency theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /
出版事項: (2012)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
出版事項: (2013)

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

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
出版事項: (2013)

Reliable software technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
出版事項: (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 /
出版事項: (2013)

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

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
出版事項: (2013)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
出版事項: (2012)

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
出版事項: (2013)