Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /

Contiene: Verificación de sistemas multi-pushdown que se comunican a través de ancho dividido; Booster: un marco de verificación basado en la aceleración para programas de matrices; Un verificador de modelos acotados para programas SPARK; Aceleración de transformaciones híbridas afines; Una prueba m...

Повний опис

Бібліографічні деталі

Співавтор:	International Symposium on Automated Technology for Verification and Analysis ( Sidney, Australia)
Інші автори:	Cassez, Franck (edición) (edición), Raskin, Jean-François (edición) (edición)
Формат:	Матеріали конференцій Книга
Мова:	Англійська
Опубліковано:	Cham, Suiza : Springer, 2014, c2014
Серія:	(Lecture Notes in Computer Science ; 8837)
Предмети:	Control Automático Automatización Robótica Algoritmos Computacionales Programación (Software) Complejidad Computacional Inteligencia Artificial Ingeniería de Software Desarrollo de Sistemas - > Congresos - > Tema Principal Autómatas Matemáticos - > Teoría - > Tema Principal Ingeniería Computacional
Онлайн доступ:	Ver documento en línea
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!