Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.

Werner Damm Johannes Helbig

Published in: PROCOMET (1994)

Keyphrases

class diagrams
visual features
visual information
high level
logic programming
model checker
low level
modal logic
neural network
visual perception
sequence diagrams
object oriented
multi agent systems
model checking
agent oriented
binary decision diagrams
hand drawn