Investigating a file transfer protocol using CSP and B.
Saved in:
| Title: | Investigating a file transfer protocol using CSP and B. |
|---|---|
| Authors: | Evans, Neil1, Treharne, Helen2 |
| Source: | Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p258-276, 19p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
