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

QR Code

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

Bibliographic Details
Format:	Book
Published:	c2010.
Online Access:	Ver documento en línea

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

Automated technology for verification and analysis /
Published: (2017)

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 /
Published: (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 /
Published: (2017)

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 /
Published: (2017)

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

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

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

Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers /
Published: (2012)

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

String Analysis for Software Verification and Security /
by: Bultan, Tevfik., et al.
Published: (2017)

Computer information systems - analysis and technologies : 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings /
Published: (2011)

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

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

Edutainment technologies. Educational games and virtual reality/augmented reality applications : 6th International Conference on E-learning and Games, Edutainment 2011, Taipei, Taiwan, September 7-9, 2011. Proceedings /
Published: (2011)

Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Published: (2017)

Automated deduction - CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
Published: (2013)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published: (2017)

Collaboration and technology : 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011, Proceedings /
Published: (2011)

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

Advanced parallel processing technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings.

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Published: (2017)

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

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

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

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

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

Advances in automation and robotics : Selected Papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011.