Login / Signup
A formal framework for verifying distributed embedded systems based on abstraction methods.
Francois Carcenac
Frédéric Boniol
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
embedded systems
cooperative
computing power
high level
low cost
embedded devices
real world
machine learning
case study
computer networks