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