Reliable Software Technologies : Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies Paris, France, June 23-27, 2014 : Proceedings /

Selección de ponencias presentadas en la décima novena Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, celebrada en París, Francia, en junio de 2014. Los artículos desarrollan temas relacionados con los métodos formales, usos de Ada, programación en tiempo real y desar...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Institution som forfatter: Ada-Europe International Conference on Reliable Software Technologies ( París, Francia)
Andre forfattere: George, Laurent (edición) (edición), Vardanega, Tullio (edición) (edición)
Format: Procedimiento de la conferencia Bog
Sprog:engelsk
Udgivet: Cham, Suiza : Springer, 2014, c2014
Serier:(Lecture Notes in Computer Science ; 8454)
Fag:
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!