國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal modeling and verification of ...

(1998 :)

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 /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal modeling and verification of cyber-physical systemsedited 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.
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 systems1st 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:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

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 /
LDR:01686nmm a2200313 a 4500 001 471284
003 DE-He213
005 20160115143051.0
006 m d
007 cr nn 008maaau
008 160223s2015 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 277520
650 0 $a Embedded computer systems $v Congresses. $3 384523
650 0 $a Ubiquitous computing $v Congresses. $3 384524
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Computer Hardware. $3 275482
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Circuits and Systems. $3 274416
650 2 4 $a Control, Robotics, Mechatronics. $3 339147
650 2 4 $a Aerospace Technology and Astronautics. $3 309707
700 1 $a Drechsler, Rolf. $3 253914
700 1 $a Kuhne, Ulrich. $3 726427
710 2 $a SpringerLink (Online service) $3 273601
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)