Ramasamy Harigovind | University Of Illinois
スポンサーリンク
概要
関連著者
-
Sanders William
University Of Illinois
-
Ramasamy Harigovind
University Of Illinois
-
CUKIER Michel
University of Maryland
-
Cukier Michel
University Of Maryland College Park
著作論文
- Formal Verification of an Intrusion-Tolerant Group Membership Protocol(Verification and Dependability Analysis)(Dependable Computing)
- Formal Verification of an Intrusion-Tolerant Group Membership Protocol