↓ 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 10: Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
Altmetric Badge

Readers on

mendeley
3 Mendeley
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
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
Chapter number 10
Book title
Cyber Physical Systems. Design, Modeling, and Evaluation
Published by
Springer, Cham, October 2017
DOI 10.1007/978-3-030-17910-6_10
Book ISBNs
978-3-03-017909-0, 978-3-03-017910-6
Authors

Adnan Rashid, Osman Hasan

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Professor > Associate Professor 1 33%
Unknown 1 33%
Readers by discipline Count As %
Unknown 3 100%

This page is provided by Altmetric.