Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030237028, 9783030237035
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

2019 ◽  
pp. 170-189
Author(s):  
Sascha Lehmann ◽  
Sven-Thomas Antoni ◽  
Alexander Schlaefer ◽  
Sibylle Schupp
Keyword(s):  
Temporal Logic ◽  
Execution Time ◽  
Metric Temporal Logic

Computers Interacting with the Physical World: A First-Year Course

2019 ◽  
pp. 197-205 ◽  
Author(s):  
Roger D. Chamberlain ◽  
Ron K. Cytron ◽  
Doug Shook ◽  
Bill Siever
Keyword(s):  
Physical World ◽  
First Year

Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)

2019 ◽  
pp. 71-90
Author(s):  
Mehrdad Moradi ◽  
Bert Van Acker ◽  
Ken Vanherpen ◽  
Joachim Denil
Keyword(s):  
Fault Injection

MicroITS: A Scaled-Down ITS Platform

2019 ◽  
pp. 214-221 ◽  
Author(s):  
Judicaël Marchand ◽  
Gaël Puissochet ◽  
Thomas Lithén ◽  
Walid Taha

CPS/IoT Ecosystem: A Platform for Research and Education

2019 ◽  
pp. 206-213 ◽  
Author(s):  
Haris Isakovic ◽  
Denise Ratasich ◽  
Christian Hirsch ◽  
Michael Platzer ◽  
Bernhard Wally ◽  
...  
Keyword(s):  
Research And Education
Load More ...
Sign in / Sign up

Export Citation Format

Share Document