Copertina
Codice QR

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : Proceedings /

Selección de ponencias presentadas en la décima novena Conferencia Internacional sobre Métodos Formales para Sistemas Industriales Críticos, celebrada en Florencia, Italia, en septiembre de 2014. Los textos que se incluyen abordan temas relacionados con sistemas ciber físicos, red de computadoras, s...

Descrizione completa

Salvato in:
Ente Autore: International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia)
Altri autori: Lang, Frédéric (edición) (edición), Flammini, Francesco (edición) (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Cham, Suiza : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8718)
Soggetti:
Componentes (Hardware)
Protocolos de Comunicación - > Tema Principal
Transmisión de Datos
Redes de Computadoras - > Proceso de Datos
Redes de Computadoras - > Prueba y Medición
Redes de Computadoras
Paquetes (Software) - > Prueba y Medición
Programación (Software) - > Tema Principal
Ingeniería de Software
Desarrollo de Sistemas - > Congresos - > Tema Principal
Ingeniería Computacional
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi: Formal Methods for Industrial Critical Systems :

Documenti analoghi