Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030179090, 9783030179106
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles

2019 ◽  
pp. 94-106 ◽  
Author(s):  
Houssam Abbas ◽  
Matthew O’Kelly ◽  
Alena Rodionova ◽  
Rahul Mangharam
Keyword(s):  
Autonomous Vehicles ◽  
Simulation Based

Template-Based Monte-Carlo Test Generation for Simulink Models

2019 ◽  
pp. 63-78 ◽  
Author(s):  
Takashi Tomita ◽  
Daisuke Ishii ◽  
Toru Murakami ◽  
Shigeki Takeuchi ◽  
Toshiaki Aoki
Keyword(s):  
Monte Carlo ◽  
Test Generation ◽  
Monte Carlo Test

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis

2019 ◽  
pp. 79-82
Author(s):  
Daisuke Ishii ◽  
Alexandre Goldsztejn ◽  
Naoki Yonezaki
Keyword(s):  
Hybrid Systems ◽  
Interval Analysis

FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization

2019 ◽  
pp. 145-158
Author(s):  
Chao Wang ◽  
Yuming Cheng ◽  
Lei Gong ◽  
Bo Wan ◽  
Aili Wang ◽  
...  
Keyword(s):  
Big Data ◽  
Computer Architecture ◽  
Accelerator Design
Load More ...
Sign in / Sign up

Export Citation Format

Share Document