Validating Software Reliability Early through Statistical Model Checking

Cited 9 time in webofscience Cited 0 time in scopus
  • Hit : 812
  • Download : 12
DC FieldValueLanguage
dc.contributor.authorKim, Young-Jooko
dc.contributor.authorChoi, Ok-Jooko
dc.contributor.authorKim, Moon-Zooko
dc.contributor.authorBaik, Jong-Moonko
dc.contributor.authorKim, Tai-Hyoko
dc.date.accessioned2013-08-08T06:01:31Z-
dc.date.available2013-08-08T06:01:31Z-
dc.date.created2013-06-04-
dc.date.created2013-06-04-
dc.date.created2013-06-04-
dc.date.issued2013-05-
dc.identifier.citationIEEE SOFTWARE, v.30, no.3, pp.35 - 41-
dc.identifier.issn0740-7459-
dc.identifier.urihttp://hdl.handle.net/10203/174768-
dc.languageEnglish-
dc.publisherIEEE COMPUTER SOC-
dc.titleValidating Software Reliability Early through Statistical Model Checking-
dc.typeArticle-
dc.identifier.wosid000317556900009-
dc.identifier.scopusid2-s2.0-84897694375-
dc.type.rimsART-
dc.citation.volume30-
dc.citation.issue3-
dc.citation.beginningpage35-
dc.citation.endingpage41-
dc.citation.publicationnameIEEE SOFTWARE-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorKim, Moon-Zoo-
dc.contributor.localauthorBaik, Jong-Moon-
dc.contributor.nonIdAuthorKim, Young-Joo-
dc.contributor.nonIdAuthorKim, Tai-Hyo-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 9 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0