Login / Signup

Investigating a file transfer protocol using CSP and B.

Neil EvansHelen Treharne
Published in: Softw. Syst. Model. (2005)
Keyphrases
  • file transfer
  • constraint satisfaction problems
  • constraint satisfaction
  • constraint propagation
  • decomposition methods
  • tree decomposition