Record:   Prev Next
作者 International Summer School on Methods and Tools for the Design of Digital Systems (1st : 2015 : Bremen, Germany)
書名 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
出版項 Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015
國際標準書號 9783658099947 (electronic bk.)
9783658099930 (paper)
國際標準號碼 10.1007/978-3-658-09994-7 doi
book jacket
說明 1 online resource (x, 313 pages) : illustrations (some color), digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
附註 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
Host Item Springer eBooks
主題 Formal methods (Computer science) -- Congresses
Embedded computer systems -- Congresses
Ubiquitous computing -- Congresses
Computer Science
Computer System Implementation
Computer Hardware
Simulation and Modeling
Circuits and Systems
Control, Robotics, Mechatronics
Aerospace Technology and Astronautics
Alt Author Drechsler, Rolf, editor
Kuhne, Ulrich, editor
SpringerLink (Online service)
Record:   Prev Next