Jump to main content

yr 〜
yr

Search results 3

Protocol specification, testing and verification XIV

Protocol specification, testing and verification XIV
Paper図書
edited by S.T. Vuong, S.T. ChansonChapman & Hall1995
Other Libraries in Japan
  • Author HeadingVuong, Son T. Chanson, Samuel T. International Federation for ...

Web content delivery

Web content delivery
Paper図書
edited by Xueyan Tang, Jianliang Xu, Samuel T. ChansonSpringer2005
Other Libraries in Japan
  • Author HeadingTang, Xueyan Xu, Jianliang Chanson, Samuel T. (Samuel Tin-hung)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China
Paper図書
edited by Jianping Wu, Samuel T. Chanson, Qiang GaoKluwer Academicc1999
Other Libraries in Japan
  • Author Heading...n Wu, Jianping Chanson, Samuel T. (Samuel Tin-hung) Gao, Qiang ...

Reached to the end of result.

RSS