Login / Signup

Ensuring Properties of Interaction Systems.

Gregor GößlerSusanne GrafMila E. Majster-CederbaumMoritz MartensJoseph Sifakis
Published in: Program Analysis and Compilation (2006)
Keyphrases
  • database
  • complex systems
  • relational databases
  • distributed systems
  • computing systems
  • case study
  • evolutionary algorithm
  • desirable characteristics