Runtime Verification
Springer International Publishing
Chapter title |
Monitoring with Verified Guarantees
|
---|---|
Book title |
Runtime Verification
|
Published in |
arXiv, October 2021
|
DOI | 10.1007/978-3-030-88494-9_4 |
Book ISBNs |
978-3-03-088493-2, 978-3-03-088494-9
|
Authors |
Dauer J. C., Finkbeiner B., Schirmer S, Dauer, Johann C., Finkbeiner, Bernd, Schirmer, Sebastian |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |