Petri Net을 이용한 TDX 내부 프로토콜 검증에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 204
  • Download : 0
Publisher
정보과학회
Issue Date
1989
Language
KOR
Citation

정보과학회 추계학술대회, pp.153 - 156

URI
http://hdl.handle.net/10203/113824
Appears in Collection
EE-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0