Formal Derivation of Multilayered Hardware/Software Structures.

Toomas P. Plaks

Published in: ICFEM (2000)

Keyphrases

hardware software
hardware and software
hw sw
embedded systems
design methodology
hardware design
high performance computing
multi core processors
open source
formal specification
real time
query language
data processing