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

LUSTRE를 이용한 SCR명세의 구현Implementing SCR Specification with LUSTRE

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 354
  • Download : 0
Export
조승모 / 차성덕
Publisher
한국정보과학회
Issue Date
1999-02
Language
Korean
Citation

정보과학회논문지(B), v.26, no.2, pp.251 - 262

ISSN
1226-2285
URI
http://hdl.handle.net/10203/70776
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