Handling causality and schedulability when designing and prototyping cyber-physical systems |
| |
Authors: | Cortés  Porto,Rodrigo,Genius,Daniela,Apvrille,Ludovic |
| |
Affiliation: | 1.Sorbonne Université, CNRS, LIP6, F-75005, Paris, France ;2.Department of Electrical Engineering and Information Technology, Technical University of Kaiserslautern, D-67663, Kaiserslautern, Germany ;3.LTCI, Télécom Paris, Institut Polytechnique de Paris, Sophia-Antipolis, France ; |
| |
Abstract: | Software and Systems Modeling - Cyber physical systems are built upon digital and analog circuits, making it necessary to handle different models of computation during their design and verification... |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|