Quantifying Conformance Using the Skorokhod Metric

AuthID
P-00K-2Y2
3
Author(s)
Deshmukh, JV
·
Majumdar, R
·
1
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
Publication Identifiers
SCOPUS: 2-s2.0-84951171065
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.