NASA Formal Methods / Dutle, Aaron ; Muñoz, César ; Narkawicz, Anthony  

Público ISBD Ningún comentario para este registro. Título : NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings Tipo de documento: documento electrónico Autores: Dutle, Aaron, ; Muñoz, César, ; Narkawicz, Anthony, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 470 p. 156 ilustraciones ISBN/ISSN/DL: 978-3-319-77935-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Simulación por ordenador  Inteligencia artificial  Ciencias de la Computación  Computadoras digitales electrónicas  Compiladores e intérpretes  Modelado por computadora  Teoría de la Computación  Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del décimo Simposio Internacional sobre Métodos Formales de la NASA, NFM 2018, celebrado en Newport News, VA, EE. UU., en abril de 2018. Los 24 artículos completos y 7 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 92 presentaciones. Los artículos se centran en técnicas formales y otros enfoques para el aseguramiento del software, su teoría, capacidades y limitaciones actuales, así como su posible aplicación a la industria aeroespacial, la robótica y otros sistemas críticos para la seguridad relevantes para la NASA durante todas las etapas del ciclo de vida del software. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings [documento electrónico] / Dutle, Aaron, ; Muñoz, César, ; Narkawicz, Anthony,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XI, 470 p. 156 ilustraciones. ISBN : 978-3-319-77935-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Simulación por ordenador  Inteligencia artificial  Ciencias de la Computación  Computadoras digitales electrónicas  Compiladores e intérpretes  Modelado por computadora  Teoría de la Computación  Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del décimo Simposio Internacional sobre Métodos Formales de la NASA, NFM 2018, celebrado en Newport News, VA, EE. UU., en abril de 2018. Los 24 artículos completos y 7 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 92 presentaciones. Los artículos se centran en técnicas formales y otros enfoques para el aseguramiento del software, su teoría, capacidades y limitaciones actuales, así como su posible aplicación a la industria aeroespacial, la robótica y otros sistemas críticos para la seguridad relevantes para la NASA durante todas las etapas del ciclo de vida del software. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200