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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Байгууллагын зохиогч:	International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia)
Бусад зохиолчид:	Lang, Frédéric (edición), Flammini, Francesco (edición)
Формат:	Бага хурлын үйл явц Ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham, Suiza : Springer, 2014, c2014
Цуврал:	(Lecture Notes in Computer Science ; 8718)
Нөхцлүүд:	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
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!