國立虎尾科技大學 |

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Cyber Physical Systems. Model-Based Design/ edited by Roger Chamberlain, Walid Taha, Martin Törngren.
其他題名:	8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
其他作者:	Chamberlain, Roger.
面頁冊數:	XII, 231 p. 236 illus., 58 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer simulation. -
電子資源:	https://doi.org/10.1007/978-3-030-23703-5
ISBN:	9783030237035

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
Cyber Physical Systems. Model-Based Design8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /[electronic resource] :edited by Roger Chamberlain, Walid Taha, Martin Törngren. - 1st ed. 2019. - XII, 231 p. 236 illus., 58 illus. in color.online resource. - Information Systems and Applications, incl. Internet/Web, and HCI ;11615. - Information Systems and Applications, incl. Internet/Web, and HCI ;9149.

Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

ISBN: 9783030237035

Standard No.: 10.1007/978-3-030-23703-5doiSubjects--Topical Terms:

560190
Computer simulation.

LC Class. No.: QA76.9.C65

Dewey Class. No.: 003.3

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
LDR:02326nam a22004095i 4500 001 1015210
003 DE-He213
005 20200630031116.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030237035 $9 978-3-030-23703-5
024 7 $a 10.1007/978-3-030-23703-5 $2 doi
035 $a 978-3-030-23703-5
050 4 $a QA76.9.C65
072 7 $a UYM $2 bicssc
072 7 $a COM072000 $2 bisacsh
072 7 $a UYM $2 thema
082 0 4 $a 003.3 $2 23
245 1 0 $a Cyber Physical Systems. Model-Based Design $h [electronic resource] : $b 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / $c edited by Roger Chamberlain, Walid Taha, Martin Törngren.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XII, 231 p. 236 illus., 58 illus. in color. $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 Information Systems and Applications, incl. Internet/Web, and HCI ; $v 11615
505 0 $a Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
520 $a This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
650 0 $a Computer simulation. $3 560190
650 0 $a Application software. $3 528147
650 0 $a Special purpose computers. $3 1204562
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Computers. $3 565115
650 0 $a Microprogramming . $3 1257366
650 1 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Control Structures and Microprogramming. $3 669788
700 1 $a Chamberlain, Roger. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225867
700 1 $a Taha, Walid. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225868
700 1 $a Törngren, Martin. $e editor. $1 https://orcid.org/0000-0002-4300-885X $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1299601
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030237028
776 0 8 $i Printed edition: $z 9783030237042
830 0 $a Information Systems and Applications, incl. Internet/Web, and HCI ; $v 9149 $3 1253558
856 4 0 $u https://doi.org/10.1007/978-3-030-23703-5
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)