Login / Signup

A formal framework for verifying distributed embedded systems based on abstraction methods.

Francois CarcenacFré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