DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Journal Papers(저널논문)

스테이트차트의 실시간 검증을 위한 모델체커의 확장Extending Model Checker for Real-time Verification of Statecharts

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 352
  • Download : 0
Export
방호정 / 홍형석 / 김태효 / 차성덕
Publisher
한국정보과학회
Issue Date
2004-06
Language
Korean
Citation

정보과학회논문지 : 소프트웨어 및 응용, v.31, no.6, pp.773 - 783

ISSN
1229-6848
URI
http://hdl.handle.net/10203/79775
Appears in Collection
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