國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Modeling and Analysis of Timed Systems/ edited by Martin Fränzle, Nicolas Markey.
Reminder of title:	14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
other author:	Fränzle, Martin.
Description:	XII, 245 p. 67 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computers. -
Online resource:	https://doi.org/10.1007/978-3-319-44878-7
ISBN:	9783319448787

Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
Formal Modeling and Analysis of Timed Systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /[electronic resource] :edited by Martin Fränzle, Nicolas Markey. - 1st ed. 2016. - XII, 245 p. 67 illus.online resource. - Theoretical Computer Science and General Issues ;9884. - Theoretical Computer Science and General Issues ;9163.

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.

ISBN: 9783319448787

Standard No.: 10.1007/978-3-319-44878-7doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
LDR:02074nam a22004095i 4500 001 974988
003 DE-He213
005 20200701234338.0
007 cr nn 008mamaa
008 201211s2016 gw | 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
035 $a 978-3-319-44878-7
050 4 $a QA75.5-76.95
072 7 $a UY $2 bicssc
072 7 $a COM037000 $2 bisacsh
072 7 $a UY $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 ; $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 Computers. $3 565115
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 0 $a Application software. $3 528147
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Applications. $3 669785
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Fränzle, Martin. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269619
700 1 $a Markey, Nicolas. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1112404
710 2 $a SpringerLink (Online service) $3 593884
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 ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-44878-7
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)