C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Confidence Composition for Monitors of Verification Assumptions.
Ivan Ruchkin
Matthew Cleaveland
Radoslav Ivanov
Pengyuan Lu
Taylor J. Carpenter
Oleg Sokolsky
Insup Lee
Published in:
ICCPS (2022)
Keyphrases
</>
model checking
high confidence
three dimensional
confidence measure
signature verification
web services composition
formal methods
confidence level
real time
neural network
image processing
web service composition
simplifying assumptions
verification method