Formal Modeling and Verification of Cyber-Physical Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
| ISBN: | 3658099933 |
|---|---|
| ISBN 13: | 9783658099930 |
| Herausgeber: | Rolf Drechsler/Ulrich Kühne |
| Verlag: | Springer Vieweg |
| Umfang: | x, 313 S., 101 s/w Illustr., 5 farbige Illustr., 313 p. 106 illus., 5 illus. in color. |
| Erscheinungsdatum: | 25.06.2015 |
| Auflage: | 1/2015 |
| Format: | 1.9 x 24.1 x 16.9 |
| Gewicht: | 576 g |
| Produktform: | Kartoniert |
| Einband: | KT |
Das könnte Ihnen auch gefallen …
-
![]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems Engineering and Control
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Timing Verification in Transaction Modeling
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security and Resilience in Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Simulation for Cyber-Physical Systems Engineering
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Design Automation of Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Industrial Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Simulation for Cyber-Physical Systems Engineering
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cognitive Computing and Cyber Physical Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Embedded, Cyber-Physical, and IoT Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security and Resilience in Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Control of Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Vehicle Systems
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Safety and Security of Cyber-Physical Systems
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Safety and Security of Cyber-Physical Systems
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
From Reactive Systems to Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cognitive Computing and Cyber Physical Systems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems and Control
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Design Automation of Cyber-Physical Systems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Secure and Trusted Cyber Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Vehicular Cyber Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Technological Innovation for Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cognitive Computing and Cyber Physical Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Physical Systems. Design, Modeling, and Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Physical Systems. Design, Modeling, and Evaluation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security in Cyber-Physical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Physical Systems. Model-Based Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security of Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logical Foundations of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Embedded, Cyber-Physical, and IoT Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Energy and Power Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification Of FDIR in Smart Grid
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Technological Innovation for Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Vehicular Cyber Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Secure and Trusted Cyber Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Machine Learning for Cyber Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods in Software and Systems Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Security for Cyber Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems: A Reference
962,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Drones as Cyber-Physical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Industrial Cloud-Based Cyber-Physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Energy and Power Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Blockchain for Cybersecurity in Cyber-Physical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Optimal Observation for Cyber-physical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Physical Systems.Design, Modeling, and Evaluation
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems: Advances in Design & Modelling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Applied Cyber-Physical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Scalable Techniques for Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Microgrids
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems and Control II
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Resilience of Cyber-Physical Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Polynomial Formal Verification of Approximate Functions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Innovations in Cyber Physical Systems
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Microgrids
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Machine Learning for Cyber Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Security
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Trustworthy Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logical Foundations of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber Security for Cyber Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Applied Cyber-Physical Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-physical Systems and Digital Twins
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security in Cyber-Physical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems Security
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Security of Cyber-Physical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Security
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cloud-Based Cyber-Physical Systems in Manufacturing
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Cyber-Physical Systems in the Built Environment
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Innovations in Cyber Physical Systems
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Development and Formal Verification of TTCAN
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
