國立虎尾科技大學 |

Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Cyber Physical Systems. Model-Based Design/ edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
其他題名:	9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
其他作者:	Taha, Walid.
面頁冊數:	XII, 285 p. 170 illus., 57 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Languages, Compilers, Interpreters. -
電子資源:	https://doi.org/10.1007/978-3-030-41131-2
ISBN:	9783030411312

Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
Cyber Physical Systems. Model-Based Design9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /[electronic resource] :edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha. - 1st ed. 2020. - XII, 285 p. 170 illus., 57 illus. in color.online resource. - Information Systems and Applications, incl. Internet/Web, and HCI ;11971. - Information Systems and Applications, incl. Internet/Web, and HCI ;9149.

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

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

ISBN: 9783030411312

Standard No.: 10.1007/978-3-030-41131-2doiSubjects--Topical Terms:

669782
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA76.76.A65

Dewey Class. No.: 005.7

Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
LDR:02319nam a22004215i 4500 001 1024625
003 DE-He213
005 20200702013355.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030411312 $9 978-3-030-41131-2
024 7 $a 10.1007/978-3-030-41131-2 $2 doi
035 $a 978-3-030-41131-2
050 4 $a QA76.76.A65
072 7 $a UNH $2 bicssc
072 7 $a COM032000 $2 bisacsh
072 7 $a UNH $2 thema
072 7 $a UDBD $2 thema
082 0 4 $a 005.7 $2 23
245 1 0 $a Cyber Physical Systems. Model-Based Design $h [electronic resource] : $b 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / $c edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XII, 285 p. 170 illus., 57 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 11971
505 0 $a Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education.
520 $a This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 1 4 $a Information Systems Applications (incl. Internet). $3 881699
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Microprogramming . $3 1257366
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Special purpose computers. $3 1204562
650 0 $a Application software. $3 528147
700 1 $a Taha, Walid. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225868
700 1 $a Edin Grimheden, Martin. $e editor. $1 https://orcid.org/0000-0003-3699-5049 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1320809
700 1 $a Chamberlain, Roger. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225867
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030411305
776 0 8 $i Printed edition: $z 9783030411329
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-41131-2
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)