Logical-Time Contracts for Reactive Embedded Components.

Florence Maraninchi Lionel Morel

Published in: EUROMICRO (2004)

Keyphrases

supply chain
embedded systems
case study
building blocks
data sets
computer vision
signal processing
logical reasoning
moral hazard