Secure Computing Systems Design Through Formal Micro-Contracts.

Michel A. Kinsy Novak Boskov

Published in: ACM Great Lakes Symposium on VLSI (2019)

Keyphrases

computing systems
computer systems
user interface
computing technologies
autonomic computing
database
case study
database systems
supply chain
design process
formal methods
parallel architectures