東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal modeling and verification of ...

Drechsler, Rolf.

FindBook

Google Book

Amazon

博客來

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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal modeling and verification of cyber-physical systems/ edited by Rolf Drechsler, Ulrich Kuhne.
其他題名:	1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
其他作者:	Drechsler, Rolf.
出版者:	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.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science) -
電子資源:	http://dx.doi.org/10.1007/978-3-658-09994-7
ISBN:	9783658099947 (electronic bk.)

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 /
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:

882407
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 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 /
LDR:01686nam a2200313 a 4500 001 2007532
003 DE-He213
005 20160115143051.0
006 m d
007 cr nn 008maaau
008 160219s2015 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
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 882407
650 0 $a Embedded computer systems $v Congresses. $3 1245167
650 0 $a Ubiquitous computing $v Congresses. $3 1243520
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Computer Hardware. $3 892776
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Circuits and Systems. $3 896527
650 2 4 $a Control, Robotics, Mechatronics. $3 1002220
650 2 4 $a Aerospace Technology and Astronautics. $3 928116
700 1 $a Drechsler, Rolf. $3 827432
700 1 $a Kuhne, Ulrich. $3 2156392
710 2 $a SpringerLink (Online service) $3 836513
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)