Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Sumérgete en los avances de verificación formal para sistemas críticos con este compendio revisado del taller FTSCS 2015, donde se presentan métodos rigurosos y estudios de caso que elevan la fiabilidad y seguridad del software.

Marca: Cyrille Artho
MPN: 86 black & white illustrations, biograph
ISBN: 9783319295091
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Edición 1ª Febrero de 2016
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319295091
Páginas 271