| TÃtulo : |
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Chamberlain, Roger, ; Edin Grimheden, Martin, ; Taha, Walid, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XII, 285 p. 170 ilustraciones, 57 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-41131-2 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Microprogramación Compiladores (programas informáticos) Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Estructuras de control y microprogramación Compiladores e intérpretes |
| Ãndice Dewey: |
005.3 Ciencia de los computadores (Programas) |
| Resumen: |
Este libro constituye las actas del 9.º Taller internacional sobre diseño basado en modelos de sistemas ciberfÃsicos, CyPhy 2019 y el 15.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2019, celebrado junto con ESWeek 2019, en la ciudad de Nueva York. Nueva York, EE. UU., en octubre de 2019. Los 13 artÃculos completos presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelos y diseño; simulación y herramientas; métodos formales; Educación en sistemas integrados y ciberfÃsicos. |
| Nota de contenido: |
Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Edin Grimheden, Martin, ; Taha, Walid, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 285 p. 170 ilustraciones, 57 ilustraciones en color. ISBN : 978-3-030-41131-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |