확률론적 모델 체킹 기법을 이용한 복수 무인기 시스템 모델링 및 검증

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 40
  • Download : 0
Publisher
한국항공우주학회
Issue Date
2013-11-14
Language
Korean
Citation

2013년도 한국항공우주학회 추계학술대회

URI
http://hdl.handle.net/10203/256230
Appears in Collection
AE-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