Slika omota
QR kȏd

Tools and Algorithms for the Construction andAnalysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /

Selección de ponencias de la vigésima Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, que tuvo lugar en Grenoble, Francia, en abril de 2014, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. Los artículos es...

Cijeli opis

Spremljeno u:
Autori kompanije: International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
Daljnji autori: Abrahám, Erika (edición), Havelund, Klaus (edición)
Format: Izvještaj sastanka Knjiga
Jezik:engleski
Izdano: Heidelberg, Alemania : Springer, 2014, c2014
Serija:(Lecture Notes in Computer Science ; 8413)
Teme:
Ingeniería de Software
Programación (Software)
Complejidad Computacional
Codificación - > Teoría
Autómatas Matemáticos - > Teoría
Algoritmos Computacionales - > Tema Principal
Sistemas Computacionales - > Prueba y Medición - > Tema Principal
Desarrollo de Sistemas - > Congresos - > Tema Principal
Sistemas Computacionales
Ingeniería Computacional
Online pristup:Ver documento en línea
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Sažetak:Selección de ponencias de la vigésima Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, que tuvo lugar en Grenoble, Francia, en abril de 2014, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. Los artículos están organizados en secciones temáticas denominadas: procedimientos de decisión y su aplicación en el análisis; análisis de complejidad y terminación; modelado y verificación de modelos de sistemas discretos; sistemas temporizados e híbridos; monitoreo, detección e identificación de fallas; competencia en materia de verificación de software; especificar y comprobar propiedades de tiempo lineal; sistemas cuánticos y probabilísticos; así como demostraciones de herramientas y estudios de casos.
Opis fizičkog objekta:1 libro electrónico en línea (XVIII, 652 p.)
1 recurso en línea
ISBN:978-3-642-54862-8
Pristup:Licencias ilimitadas

Slični predmeti