Login / Signup
The investigation of the structural properties of machines for the design of secure and trustworthy systems.
Edward Jung
Chih-Cheng Hung
Guangzhi Ma
Seonho Choi
Published in:
RACS (2011)
Keyphrases
</>
structural properties
case study
building blocks
design process
embedded systems
formal methods
tree width
interactive systems
heterogeneous platforms
wireless sensor networks
design criteria
design issues
manufacturing cell
trust management
human computer interface
computer systems
user interface