|
|||||
|
|
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 等数据库收录！ | |