國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Cyber Physical Systems. Model-Based Design/ edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
Reminder of title:	9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
other author:	Chamberlain, Roger.
Description:	XII, 285 p. 170 illus., 57 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Application software. -
Online resource:	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:

528147
Application software.

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 0 $a Application software. $3 528147
650 0 $a Special purpose computers. $3 1204562
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Microprogramming . $3 1257366
650 0 $a Programming languages (Electronic computers). $3 1127615
650 1 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 Control Structures and Microprogramming. $3 669788
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
700 1 $a Chamberlain, Roger. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225867
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 Taha, Walid. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1225868
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)