Monitoring Compliance Policies over Incomplete and Disagreeing Logs

Thumbnail
Metadata only
Author
Basin, David
Klaedtke, Felix
Marinovic, Srdjan
Zălinescu, Eugen
Show all
Date
2013
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Qadeer, Shaz
Tasiran, Serdar
Book title
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Journal / series
Lecture Notes in Computer Science
Volume
7687
Pages / Article No.
151 - 167
Publisher
Springer
Event
3rd International Conference on Runtime Verification (RV), Istanbul, Turkey, September 25-28, 2012
Organisational unit
03634 - Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics