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 için kapak resmi
Başlık:
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
Yazar:
Drechsler, Rolf. editor.
ISBN:
9783658099947
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
X, 313 p. 106 illus., 5 illus. in color. online resource.
İçerik:
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.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 518528-1001 XX(518528.1)
Arıyor...

On Order