Login / Signup

Büchi automata for modeling component connectors.

Mohammad IzadiMarcello M. BonsangueDave Clarke
Published in: Softw. Syst. Model. (2011)
Keyphrases
  • artificial intelligence
  • evolutionary algorithm
  • software development
  • modeling language
  • databases
  • information retrieval
  • digital libraries
  • software components
  • finite state