Integration of SMGA and Maude to Facilitate Characteristic Conjecture.

Duong Dinh Tran Kazuhiro Ogata Adrián Riesco Dang Duy Bui

Published in: DMSVIVA (2022)

Keyphrases

knowledge retrieval
database
website
three dimensional
feature extraction
computational complexity
artificial neural networks
mobile devices
information integration
formal specification
tight integration