Login / Signup
Component-interaction automata as a verification-oriented component-based system specification.
Lubos Brim
Ivana Cerná
Pavlína Vareková
Barbora Zimmerova
Published in:
ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
</>
formal verification
asynchronous circuits
formal methods
user interaction
model checking
protocol specification
formal specification
specification language
human computer interaction
real time
software components
regular expressions
finite state
formal languages
data sets
multi agent systems
oriented programming
interaction model
artificial intelligence
signature verification
multi agent
face verification
human robot interaction
database
user defined