Método y lenguaje formal estructurado orientado a objetos: 11.º taller internacional, Sofl+Msvl 2022, Madrid, España, 24 de octubre de 2022, artículos seleccionados revisados ​​(Lecture Notes In Computer Science, 13854)

Este libro constituye las actas del taller arbitrado del 11º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2022, celebrado en Madrid, en octubre de 2022. Los 12 artículos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 26 presentaciones. Están organizados en las siguientes secciones temáticas: Verificación de modelos y proceso de decisión de Markov; Análisis de modelos e implementación de herramientas; Especificaciones y pruebas formales; Algoritmos y verificación. .

• | Autor: Shaoying Liu, Zhenhua Duan, Ai Liu
• | Editorial: Springer
• | Fecha de publicación: 25 de marzo de 2023
• | Número de páginas: 163 páginas
• | Idioma: inglés
• | Encuadernación: Tapa blanda
• | ISBN-10: 3031294750
• | ISBN-13: 9783031294754