Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /

Código QR

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2009.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /
Publicado: (2016)

Automated technology for verification and analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, october 11-14, 2011. Proceedings /
Publicado: (2010)

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /
Publicado: (2015)

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /
Publicado: (2018)

Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28–31, 2019, proceedings /
Publicado: (2019)

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19–23, 2020, proceedings /
Publicado: (2020)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Publicado: (2013)

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3–6, 2017, Proceedings /
Publicado: (2017)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
Publicado: (2008)

Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /
Publicado: (2012)

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /
Publicado: (2014)

Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings /
Publicado: (2010)

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Publicado: (2016)

Critical systems: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

Addressing verification challenges : proceedings of an International Safeguards Symposium on Addressing Verification Challenges /
Publicado: (2007)

Automation technology for off-road equipment 2004 : proceedings of the 7-8 october 2004 international conference Kyoto, Japan /
por: Zhang, Qin 1956-
Publicado: (2004)

Automated validation & verification of UML/OCL models using satisfiability solvers /
Publicado: (2018)

Computer aided verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /
Publicado: (2008)

Computer aided verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
Publicado: (2009)

Symposium addressing verification challenges (2006 16-20 October, Vienna)
Publicado: (2007)

Automation and technological change.
por: Dunlop, John Thomas 1914-2003
Publicado: (1962)

Active media technology. : 5thInternationalConference,AMT2009,Beijing, China, October 22-24, 2009. Proceedings.

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado: (2012)

Control and automation : International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Publicado: (2009)

Automated deduction – CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Publicado: (2019)

Addressing verification challenges : proceedings. --
Publicado: (2007)

Verification of Conventional Arms Control in Europe. Technological Constraints and Opportunities.
por: Kokosi, Richard
Publicado: (1990)

Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings /
Publicado: (2016)

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /
Publicado: (2017)

Aliasing in object-oriented programming. Types, analysis and verification.

Computer aided verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
Publicado: (2011)

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
Publicado: (2013)

Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Publicado: (2018)

Investigations in automated activation analysis /
por: Wainerdi, Richard Elliot 1931-, et al.
Publicado: (1965)

Distribution system analysis and automation /
por: Gers, Juan M., et al.
Publicado: (2013)

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings /
Publicado: (2015)

Non-proliferation and multilateral verification : the comprehensive nuclear test ban treaty (CTBT) : symposium proceedings /
Publicado: (1994)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /
Publicado: (2009)

Verification : how much is enough? /
por: Krass, Allan S.
Publicado: (1985)

Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
Publicado: (2010)