C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Counting Interface Automata and their Application in Static Analysis of Actor Models.
Ernesto Wandeler
Jörn W. Janneck
Edward A. Lee
Lothar Thiele
Published in:
SEFM (2005)
Keyphrases
</>
static analysis
model driven
user interface
regular expressions
databases
case study
probabilistic model
finite automata
dynamic analysis