Publications

Quantifying Conformance Using the Skorokhod Metric

AuthID
P-00K-2Y2

Author(s)

Deshmukh, JV

Majumdar, R

Prabhu, VS

Editor(s)

Pasareanu C.S.Kroening D.

Document Type

Proceedings Paper

Year published

2015

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 9207, Pages: 234-250

Conference

27Th International Conference on Computer Aided Verification, Cav 2015, Date: 18 July 2015 through 24 July 2015, Sponsors: et al;Facebook;Fujitsu;Google;NASA;SGT

Indexing