Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 214
  • Download : 0
Publisher
IEEE
Issue Date
2012-11-28
Language
English
Citation

International Symposium on Software Reliability Engineering (ISSRE)

URI
http://hdl.handle.net/10203/207291
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0