↓ Skip to main content
What is this page? Embed badge

Cyber Physical Systems. Design, Modeling, and Evaluation

Overview of attention for book
Cover of 'Cyber Physical Systems. Design, Modeling, and Evaluation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid
  3. Altmetric Badge
    Chapter 2 Local Descent for Temporal Logic Falsification of Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems
  5. Altmetric Badge
    Chapter 4 Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems
  6. Altmetric Badge
    Chapter 5 Template-Based Monte-Carlo Test Generation for Simulink Models
  7. Altmetric Badge
    Chapter 6 Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis
  8. Altmetric Badge
    Chapter 7 An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems
  9. Altmetric Badge
    Chapter 8 Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
  10. Altmetric Badge
    Chapter 9 Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems
  11. Altmetric Badge
    Chapter 10 Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
  12. Altmetric Badge
    Chapter 11 FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization
Attention for Chapter 1: Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid
Chapter number 1
Book title
Cyber Physical Systems. Design, Modeling, and Evaluation
Published by
Springer, Cham, October 2017
DOI 10.1007/978-3-030-17910-6_1
Book ISBNs
978-3-03-017909-0, 978-3-03-017910-6
Authors

Ichiro Hasuo

View on publisher site

This page is provided by Altmetric.