Sign in

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.

Massimo TivoliMarco Autili
Published in: Obj. Logiciel Base données Réseaux (2006)
Keyphrases
  • lightweight
  • software tools
  • social networks
  • knowledge base
  • search algorithm
  • formal analysis
  • application layer
  • program synthesis