Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 246
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorKim, Youngjooko
dc.contributor.authorKim, Moonzooko
dc.contributor.authorKim, Tai Hyoko
dc.date.accessioned2016-05-12T03:48:21Z-
dc.date.available2016-05-12T03:48:21Z-
dc.date.created2016-01-06-
dc.date.created2016-01-06-
dc.date.issued2012-11-07-
dc.identifier.citationHaifa Verification Conference (HVC)-
dc.identifier.urihttp://hdl.handle.net/10203/207292-
dc.languageEnglish-
dc.publisherIBM Research Haifa-
dc.titleStatistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation-
dc.typeConference-
dc.identifier.scopusid2-s2.0-84880760996-
dc.type.rimsCONF-
dc.citation.publicationnameHaifa Verification Conference (HVC)-
dc.identifier.conferencecountryIS-
dc.identifier.conferencelocationHaifa, Israel-
dc.contributor.localauthorKim, Moonzoo-
dc.contributor.nonIdAuthorKim, Youngjoo-
dc.contributor.nonIdAuthorKim, Tai Hyo-
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