Información del autor
Autor Chamberlain, Roger |
Documentos disponibles escritos por este autor (3)



8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / Chamberlain, Roger ; Taha, Walid ; Törngren, Martin
![]()
TÃtulo : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 231 p. 236 ilustraciones, 58 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-23703-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Simulación por ordenador Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Ordenadores Microprogramación Modelado por computadora Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Entornos informáticos Estructuras de control y microprogramación Clasificación: 003 Teoría general de sistemas Resumen: Este libro constituye las actas del 8.º Taller internacional sobre diseño, modelado y evaluación de sistemas ciberfÃsicos, CyPhy 2018 y el 14.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2018, celebrado junto con ESWeek 2018, en TurÃn. Italia, en octubre de 2018. Los 13 artÃculos completos presentados junto con 1 artÃculo breve en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelado, simulación, verificación, diseño, sistemas ciberfÃsicos, sistemas integrados, sistemas en tiempo real, seguridad y confiabilidad. Nota de contenido: Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 231 p. 236 ilustraciones, 58 ilustraciones en color.
ISBN : 978-3-030-23703-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Simulación por ordenador Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Ordenadores Microprogramación Modelado por computadora Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Entornos informáticos Estructuras de control y microprogramación Clasificación: 003 Teoría general de sistemas Resumen: Este libro constituye las actas del 8.º Taller internacional sobre diseño, modelado y evaluación de sistemas ciberfÃsicos, CyPhy 2018 y el 14.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2018, celebrado junto con ESWeek 2018, en TurÃn. Italia, en octubre de 2018. Los 13 artÃculos completos presentados junto con 1 artÃculo breve en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelado, simulación, verificación, diseño, sistemas ciberfÃsicos, sistemas integrados, sistemas en tiempo real, seguridad y confiabilidad. Nota de contenido: Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cyber Physical Systems. Design, Modeling, and Evaluation / Chamberlain, Roger ; Taha, Walid ; Törngren, Martin
![]()
TÃtulo : Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 159 p. 70 ilustraciones, 31 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17910-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Software de la aplicacion IngenierÃa de software Ordenadores Computadoras Propósitos especiales Sistemas informáticos Ciencias de la Computación Aplicaciones informáticas y de sistemas de información Hardware de la computadora Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del Séptimo Taller Internacional sobre Diseño, Modelado y Evaluación de Sistemas CiberfÃsicos, CyPhy2017, celebrado junto con ESWeek 2017, en Seúl, Corea del Sur, en octubre de 2017. Los 10 artÃculos presentados junto con 1 extendido y 1 resúmenes invitados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen robótica; hogares, vehÃculos y edificios inteligentes; implantes médicos; y redes de sensores de futura generación. . Nota de contenido: Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 159 p. 70 ilustraciones, 31 ilustraciones en color.
ISBN : 978-3-030-17910-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Software de la aplicacion IngenierÃa de software Ordenadores Computadoras Propósitos especiales Sistemas informáticos Ciencias de la Computación Aplicaciones informáticas y de sistemas de información Hardware de la computadora Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del Séptimo Taller Internacional sobre Diseño, Modelado y Evaluación de Sistemas CiberfÃsicos, CyPhy2017, celebrado junto con ESWeek 2017, en Seúl, Corea del Sur, en octubre de 2017. Los 10 artÃculos presentados junto con 1 extendido y 1 resúmenes invitados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen robótica; hogares, vehÃculos y edificios inteligentes; implantes médicos; y redes de sensores de futura generación. . Nota de contenido: Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cyber Physical Systems. Model-Based Design / Chamberlain, Roger ; Edin Grimheden, Martin ; Taha, Walid
![]()
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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]