Timed Automata Semantics for Visual e-Contracts
Enrique MartínezMaría-Emilia CambroneroGregorio DíazGerardo SchneiderPublished in: FLACOS (2011)
Keyphrases
- timed automata
- model checking
- formal semantics
- semantically relevant
- theorem prover
- visual perception
- visual information
- reachability analysis
- logic programming
- low level
- data sets
- semantic information
- visual features
- visual cues
- high level
- real time systems
- high level semantics
- artificial intelligence
- supply chain
- theorem proving
- conceptual graphs
- visual representation
- knowledge base