大葉大學圖書館 |

Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	004.0151
書名/作者:	Formal modeling and verification of cyber-physical systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 // edited by Rolf Drechsler, Ulrich Kuhne.
其他作者:	Drechsler, Rolf.
團體作者:	Clark Conference
出版者:	Wiesbaden : : Springer Fachmedien Wiesbaden :, 2015.
面頁冊數:	x, 313 p. : : ill. (some col.), digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science)
標題:	Embedded computer systems
標題:	Ubiquitous computing
標題:	Computer Science.
標題:	Computer System Implementation.
標題:	Computer Hardware.
標題:	Simulation and Modeling.
標題:	Circuits and Systems.
標題:	Control, Robotics, Mechatronics.
標題:	Aerospace Technology and Astronautics.
ISBN:	9783658099947 (electronic bk.)
ISBN:	9783658099930 (paper)
內容註:	Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics.
電子資源:	http://dx.doi.org/10.1007/978-3-658-09994-7

Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
Formal modeling and verification of cyber-physical systems1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /[electronic resource] :edited by Rolf Drechsler, Ulrich Kuhne. - Wiesbaden :Springer Fachmedien Wiesbaden :2015. - x, 313 p. :ill. (some col.), digital ;24 cm.

Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics.

ISBN: 9783658099947 (electronic bk.)

Standard No.: 10.1007/978-3-658-09994-7doiSubjects--Topical Terms:

412292
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
LDR:01686nam a2200313 a 4500 001 439267
003 DE-He213
005 20160115143051.0
006 m d
007 cr nn 008maaau
008 160322s2015 gw s 0 eng d
020 $a 9783658099947 (electronic bk.)
020 $a 9783658099930 (paper)
024 7 $a 10.1007/978-3-658-09994-7 $2 doi
035 $a 978-3-658-09994-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UYD $2 bicssc
072 7 $a COM032000 $2 bisacsh
072 7 $a COM067000 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Formal modeling and verification of cyber-physical systems $h [electronic resource] : $b 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / $c edited by Rolf Drechsler, Ulrich Kuhne.
260 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Vieweg, $c 2015.
300 $a x, 313 p. : $b ill. (some col.), digital ; $c 24 cm.
505 0 $a Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics.
650 0 $a Formal methods (Computer science) $3 412292
650 0 $a Embedded computer systems $3 166722
650 0 $a Ubiquitous computing $3 219583
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Computer System Implementation. $3 466940
650 2 4 $a Computer Hardware. $3 465514
650 2 4 $a Simulation and Modeling. $3 463796
650 2 4 $a Circuits and Systems. $3 463473
650 2 4 $a Control, Robotics, Mechatronics. $3 463939
650 2 4 $a Aerospace Technology and Astronautics. $3 463938
700 1 $a Drechsler, Rolf. $3 467164
700 1 $a Kuhne, Ulrich. $3 627036
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-658-09994-7
950 $a Computer Science (Springer-11645)