DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

Validating Software Reliability Early through Statistical Model Checking

Cited 12 time in webofscience Cited 0 time in scopus
  • Hit : 1006
  • Download : 36
Export
Kim, Young-Joo / Choi, Ok-Joo / Kim, Moon-Zooresearcher / Baik, Jong-Moonresearcher / Kim, Tai-Hyo
Publisher
IEEE COMPUTER SOC
Issue Date
2013-05
Language
English
Article Type
Article
Citation

IEEE SOFTWARE, v.30, no.3, pp.35 - 41

ISSN
0740-7459
URI
http://hdl.handle.net/10203/174768
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 12 items in WoS Click to see citing articles in records_button

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