Sign in

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.

Simon BliudzeJoseph Sifakis
Published in: SC@TOOLS (2011)
Keyphrases
  • building blocks
  • software package
  • distributed systems
  • real world
  • learning systems
  • rule based systems
  • databases
  • machine learning
  • case study
  • data structure
  • learning environment
  • search space
  • complex systems