DSpace at KOASAS
College of Engineering(공과대학)School of Mechanical and Aerospace Engineering(기계항공공학부)Dept. of Aerospace Engineering(항공우주공학과)AE-Conference Papers(학술회의논문)

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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 167
  • Download : 0
Export
정성식 / 박현진 / 안재명researcher
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.

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0