表紙画像
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...

詳細記述

保存先:
団体著者: International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia)
その他の著者: Lang, Frédéric (edición) (edición), Flammini, Francesco (edición) (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
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

MARC

LEADER 00000nam^a2200000^a^4500
001 000556658
005 20251023000000.0
009 20260526152655.524
020 |a 978-3-319-10702-8 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Formal Methods for Industrial Critical Systems (  |n 19a :  |d 2014 :  |c Florencia, Italia) 
245 1 0 |a Formal Methods for Industrial Critical Systems :  |b 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : Proceedings /  |c Ed. de F. Lang, F. Flammini. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XIV, 201 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8718) 
506 0 |a Licencias ilimitadas 
520 |a 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, sistemas de control ferroviario; métodos de verificación, y pruebas de hardware y software. 
649 |a XX 
650 |a Componentes (Hardware) 
650 |a Protocolos de Comunicación -  |x Tema Principal 
650 |a Transmisión de Datos 
650 |a Redes de Computadoras -  |x Proceso de Datos 
650 |a Redes de Computadoras -  |x Prueba y Medición 
650 |a Redes de Computadoras 
650 |a Paquetes (Software) -  |x Prueba y Medición 
650 |a Programación (Software) -  |x Tema Principal 
650 |a Ingeniería de Software 
650 |a Desarrollo de Sistemas -  |x Congresos -  |x Tema Principal 
650 |a Ingeniería Computacional 
700 |a Lang, Frédéric  |e (edición) 
700 |a Flammini, Francesco  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10702-8  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 556658-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000556658 

類似資料