24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021

Published in: FDL (2021)

Keyphrases

united states
formal methods
specification languages
artificial intelligence
case study
design decisions
databases
neural network
high level
query language
knowledge based systems
building blocks
design process
cross lingual
discussion forums
formal verification