On Checking Controllability of Specification Languages for DES.

Artem Davydov Aleksandr Larionov Nadezhda V. Nagul

Published in: MIPRO (2020)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
partial observability
databases
data model
data structure
xml documents
software engineering
key features
reverse engineering
web services
information systems
simple temporal
artificial intelligence
database