| TÃtulo : |
16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Jansen, David N., ; Prabhakar, Pavithra, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
X, 289 p. 59 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-00151-3 |
| 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: |
Algoritmos Ciencias de la Computación TeorÃa de las máquinas IngenierÃa de software Simulación por ordenador Inteligencia artificial Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Modelado por computadora |
| Clasificación: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2018, celebrada en Beijing, China, en septiembre de 2018. Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: artÃculos invitados, lógica temporal, sistemas cronometrados distribuidos, equivalencias de comportamiento, palabras cronometradas y sistemas dinámicos continuos. El objetivo de FORMATS es promover el estudio de aspectos fundamentales y prácticos de los sistemas temporizados, y reunir a investigadores de diferentes disciplinas que comparten intereses en el modelado y análisis de sistemas temporizados y, como generalización, de sistemas hÃbridos. |
| Nota de contenido: |
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings [documento electrónico] / Jansen, David N., ; Prabhakar, Pavithra, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 289 p. 59 ilustraciones. ISBN : 978-3-030-00151-3 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: |
Algoritmos Ciencias de la Computación TeorÃa de las máquinas IngenierÃa de software Simulación por ordenador Inteligencia artificial Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Modelado por computadora |
| Clasificación: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2018, celebrada en Beijing, China, en septiembre de 2018. Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: artÃculos invitados, lógica temporal, sistemas cronometrados distribuidos, equivalencias de comportamiento, palabras cronometradas y sistemas dinámicos continuos. El objetivo de FORMATS es promover el estudio de aspectos fundamentales y prácticos de los sistemas temporizados, y reunir a investigadores de diferentes disciplinas que comparten intereses en el modelado y análisis de sistemas temporizados y, como generalización, de sistemas hÃbridos. |
| Nota de contenido: |
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / Jansen, David N. ; Prabhakar, Pavithra
