C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Implementation of Blockchain Domain Control Verification (B-DCV).
David J. Khoury
Patrick Balian
Elie F. Kfoury
Published in:
TSP (2022)
Keyphrases
</>
domain specific
implementation issues
high level synthesis
case study
adaptive control
real time
optimal control
control structure
control strategies
cross domain
control method
information systems
learning algorithm
control strategy
model checking
domain experts
process control
control problems
databases