Discrete event model verification using system morphism

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 396
  • Download : 594
DC FieldValueLanguage
dc.contributor.authorHong, K.J.ko
dc.contributor.authorKim, Tag-Gonko
dc.date.accessioned2009-12-09T08:36:39Z-
dc.date.available2009-12-09T08:36:39Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2001-10-07-
dc.identifier.citation2001 IEEE International Conference on Systems, Man and Cybernetics, pp.3057 - 3062-
dc.identifier.issn0884-3627-
dc.identifier.urihttp://hdl.handle.net/10203/14484-
dc.languageEnglish-
dc.language.isoen_USen
dc.publisherIEEE-
dc.titleDiscrete event model verification using system morphism-
dc.typeConference-
dc.identifier.wosid000177404200539-
dc.identifier.scopusid2-s2.0-0035719765-
dc.type.rimsCONF-
dc.citation.beginningpage3057-
dc.citation.endingpage3062-
dc.citation.publicationname2001 IEEE International Conference on Systems, Man and Cybernetics-
dc.identifier.conferencecountryUS-
dc.identifier.conferencelocationTucson, AZ-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorKim, Tag-Gon-
dc.contributor.nonIdAuthorHong, K.J.-
Appears in Collection
EE-Conference Papers(학술회의논문)
Files in This Item

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0