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 /

Código QR

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 /

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

Ejemplares similares

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)

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)

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 : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado: (2017)

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

Scalable Techniques for Formal Verification /
por: Ray, Sandip.
Publicado: (2010)

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 : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /
Publicado: (2016)

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)

Critical issues in office automation
por: Kleinschrod, Walter A.
Publicado: (1986)

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017)

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 : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
Publicado: (2008)

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

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 : 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)

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

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

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado: (2017)

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

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

Accuracy verification methods.

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado: (2017)

Automated machine learning : methods, systems, challenges /
Publicado: (2019)

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

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

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado: (2017)

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Publicado: (2017)

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

Verification of transaction level models of embedded systems /
por: Lochi Yu Lo, Lucky

Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado: (2010)

Automated methods for creating diversity in computer systems /
por: Barrantes Sliesarieva, Elena Gabriela 1967-
Publicado: (2005)

Computational methods in transport: verification and validation /
Publicado: (2008)

Design and Verification of Microprocessor Systems for High-Assurance Applications /
Publicado: (2010)

RAPID EMBEDDED SYSTEM TESTING USING VERIFICATION PATTERNS.
por: TSAI, WEI-TEK

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

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Publicado: (2017)

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