Значок книги

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in t...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Sharygina, Natasha. (Редактор, http://id.loc.gov/vocabulary/relators/edt), Veith, Helmut. (Редактор, http://id.loc.gov/vocabulary/relators/edt)
Формат:	Электронный ресурс eКнига
Язык:	English
Опубликовано:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Редактирование:	1st ed. 2013.
Серии:	Theoretical Computer Science and General Issues ; 8044
Предметы:	Computer logic. Software engineering. Special purpose computers. Logics and Meanings of Programs. Software Engineering. Special Purpose and Application-Based Systems.
Online-ссылка:	https://doi.org/10.1007/978-3-642-39799-8
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 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 2013 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings /
Опубликовано: (2013)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /
Опубликовано: (2007)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /
Опубликовано: (2014)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /
Опубликовано: (2005)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
Опубликовано: (2006)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Опубликовано: (2010)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Опубликовано: (2006)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /
Опубликовано: (2007)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings /
Опубликовано: (2013)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Опубликовано: (2015)

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Опубликовано: (2015)

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Опубликовано: (2014)

Embedded Systems Design Based on Formal Models of Computation
по: Radojevic, Ivan., et al.
Опубликовано: (2011)

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /
Опубликовано: (2006)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
Опубликовано: (2008)

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Опубликовано: (2005)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Опубликовано: (2007)

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Опубликовано: (2006)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /
Опубликовано: (2006)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /
Опубликовано: (2007)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /
Опубликовано: (2008)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
Опубликовано: (2005)

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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)

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Опубликовано: (2006)

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /
Опубликовано: (2012)

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
Опубликовано: (2008)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Опубликовано: (2014)

Advanced API Security Securing APIs with OAuth 2.0, OpenID Connect, JWS, and JWE /
по: Siriwardena, Prabath., et al.
Опубликовано: (2014)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
Опубликовано: (2005)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings /
Опубликовано: (2013)

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Опубликовано: (2006)

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings /
Опубликовано: (2010)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /
Опубликовано: (2007)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Опубликовано: (2006)

Ingredients for Successful System Level Design Methodology
по: Patel, Hiren D., et al.
Опубликовано: (2008)

Android Best Practices
по: Nolan, Godfrey., et al.
Опубликовано: (2014)

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /
Опубликовано: (2011)

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
Опубликовано: (2013)