Formal Description Techniques and Protocol Specification, Testing, and Verification

제목
Formal Description Techniques and Protocol Specification, Testing, and Verification
저자
SANGJO YOO