Login / Signup
On Implementation of the Assumption Generation Method for Component-Based Software Verification.
Chi-Luan Le
Hoang-Viet Tran
Pham Ngoc Hung
Published in:
ACIIDS (Extended Posters) (2017)
Keyphrases
</>
generation method
efficient implementation
implementation details
computer vision
implementation issues
data sets
databases
neural network
artificial intelligence
information systems
database systems
wide range
data structure
lower bound
general purpose