Login / Signup
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
Aymen Louati
Chadlia Jerad
Kamel Barkaoui
Published in:
CoRR (2014)
Keyphrases
</>
asynchronous circuits
image processing
coarse to fine
human computer interaction
graphical representations
verification method
diagrammatic reasoning
neural network
genetic algorithm
multi agent systems
knowledge representation
formal model
human interaction
future trends