DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

A Formal Verification Method of Function Block Diagram

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 1129
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKoh, Kwang Yong-
dc.contributor.authorSeong, Poong-Hyun-
dc.contributor.authorJee, Eun Kyoung-
dc.contributor.authorJeon, Seung Jae-
dc.contributor.authorPark, Gee Yong-
dc.contributor.authorKwon, Kee-Choon-
dc.date.accessioned2013-03-27T11:00:47Z-
dc.date.available2013-03-27T11:00:47Z-
dc.date.created2012-02-06-
dc.date.issued2007-05-10-
dc.identifier.citation한국원자력학회 2007 춘계학술발표대회, v., no., pp. --
dc.identifier.urihttp://hdl.handle.net/10203/161851-
dc.languageKOR-
dc.publisher한국원자력학회-
dc.titleA Formal Verification Method of Function Block Diagram-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.publicationname한국원자력학회 2007 춘계학술발표대회-
dc.identifier.conferencecountrySouth Korea-
dc.identifier.conferencecountrySouth Korea-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.contributor.nonIdAuthorKoh, Kwang Yong-
dc.contributor.nonIdAuthorJee, Eun Kyoung-
dc.contributor.nonIdAuthorJeon, Seung Jae-
dc.contributor.nonIdAuthorPark, Gee Yong-
dc.contributor.nonIdAuthorKwon, Kee-Choon-
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Simple 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