Buchumschlag
QR-Code

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...

Ausführliche Beschreibung

Gespeichert in:
Körperschaften: International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
Weitere Verfasser: Abrahám, Erika (edición) (edición), Havelund, Klaus (edición) (edición)
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Heidelberg, Alemania : Springer, 2014, c2014
Schriftenreihe:(Lecture Notes in Computer Science ; 8413)
Schlagworte:
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-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
Zusammenfassung: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.
Beschreibung:1 libro electrónico en línea (XVIII, 652 p.)
1 recurso en línea
ISBN:978-3-642-54862-8
Zugangseinschränkungen:Licencias ilimitadas

Ähnliche Einträge