Formal Analysis of Symbolic Authenticity.

Hai Lin Christopher Lynch

Published in: FroCoS (2021)

Keyphrases

formal analysis
digital images
formal methods
symbolic representation
agent model
ban logic
high level
databases
symbolic data
information systems
data model
business processes
fine grained
formal specification
symbolic description