( en | de | ru )

 

  3. Daniel Karlsson

Daniel Karlsson

Verification of Component-based Embedded System Designs.
. Linköping University, Sweden, (2006)base-search.net (ftlinkoepinguniv:oai:DiVA.org:liu-7473).
  •  :
  •  :
далее