PVS Embedding of cCSP Semantic Models and Their Relationship

Pressman Ch 7 Requirements Engineering

Verification of A Security Adaptive Protocol Suite Using SPIN

SECSE-1.ppt

Course Outline-CSE435

Universal Networking Language: Advances in Theory and Applications