Formal Specification of the Semantics of Control State Diagrams.

Markus Leitz Alexander Raschke

Published in: ABZ (2018)

Keyphrases

formal specification
specification languages
specification language
process algebra
object oriented design
control system
model checking
reverse engineering
concurrent systems
artificial intelligence
graphical representation
formal methods
knowledge representation
business rules
formal semantics