Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 9884Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Descripción: XII, 245 p. 67 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319448787Tema(s): Computer science | Software engineering | Computers | Computer logic | Mathematical logic | Application software | Computer Science | Computation by Abstract Devices | Logics and Meanings of Programs | Software Engineering | Computer Applications | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 004.0151 Clasificación LoC:QA75.5-76.95Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.
Modeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Modeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis.
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.
