Artículos relacionados a Formal Modeling and Analysis of Timed Systems: 14th...

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Tapa blanda

 
9783319448794: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Tapa blanda
ISBN 10: 331944879X ISBN 13: 9783319448794
Editorial: Springer, 2016

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
331944879X
ISBN 13 
9783319448794
Encuadernación
Tapa blanda
Número de páginas
260
Editor
Fränzle Martin, Markey Nicolas
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783319448770: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings: 9884 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3319448773 ISBN 13:  9783319448770
Editorial: Springer, 2016
Tapa blanda