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...
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | , |
| Materiálatiipa: | Konfereansapublikašuvdna Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Cham, Suiza :
Springer,
2014, c2014
|
| Ráidu: | (Lecture Notes in Computer Science ;
8718) |
| Fáttát: | |
| Liŋkkat: | Ver documento en línea |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556658 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310131744.717 | ||
| 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 | ||