Login / Signup
Büchi automata for modeling component connectors.
Mohammad Izadi
Marcello M. Bonsangue
Dave 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