Login / Signup
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.
Mihail Asavoae
Imane Haur
Mathieu Jan
Belgacem Ben Hedia
Martin Schoeberl
Published in:
CyPhy/WESE (2019)
Keyphrases
</>
information technology
hardware and software
information systems
computer systems
low cost
probabilistic model
databases
hardware software
image sequences
data analysis
data processing
efficient implementation
formal models
model validation