• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Counting Interface Automata and their Application in Static Analysis of Actor Models.

Ernesto WandelerJörn W. JanneckEdward A. LeeLothar Thiele
Published in: SEFM (2005)
Keyphrases
  • static analysis
  • model driven
  • user interface
  • regular expressions
  • databases
  • case study
  • probabilistic model
  • finite automata
  • dynamic analysis