Publicações

Quantifying Conformance Using the Skorokhod Metric

AuthID
P-00K-2Y2

Author(s)

Deshmukh, JV

Majumdar, R

Prabhu, VS

Editor(es)

Pasareanu C.S.Kroening D.

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

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

Volume: 9207, Páginas: 234-250

Conference

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

Indexing