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

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. The...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fränzle, Martin (Editor ), Markey, Nicolas (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 9884
Temas:
Computer science.
Software engineering.
Application software.
Machine theory.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer and Information Systems Applications.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-44878-7
003 DE-He213
005 20230330012129.0
007 cr nn 008mamaa
008 160816s2016 sz | s |||| 0|eng d
020 |a 9783319448787  |9 978-3-319-44878-7 
024 7 |a 10.1007/978-3-319-44878-7  |2 doi 
050 4 |a QA75.5-76.95 
072 7 |a UYA  |2 bicssc 
072 7 |a COM037000  |2 bisacsh 
072 7 |a UYA  |2 thema 
082 0 4 |a 004.0151  |2 23 
245 1 0 |a Formal Modeling and Analysis of Timed Systems  |h [electronic resource] :  |b 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /  |c edited by Martin Fränzle, Nicolas Markey. 
250 |a 1st ed. 2016. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a XII, 245 p. 67 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 9884 
505 0 |a Modeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Application software. 
650 0 |a Machine theory. 
650 1 4 |a Theory of Computation. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer and Information Systems Applications. 
650 2 4 |a Formal Languages and Automata Theory. 
700 1 |a Fränzle, Martin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Markey, Nicolas.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319448770 
776 0 8 |i Printed edition:  |z 9783319448794 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 9884 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-44878-7  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares