Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Descubre cómo garantizar la fiabilidad del software a través de métodos formales y análisis de riesgos, con ejemplos concretos y estrategias de verificación que fortalecen la calidad del sistema.