Monitoring Metric First-order Temporal Properties
Publication status
publishedJournal / series
Journal of the ACMVolume
Pages
Publisher
Association for Computing MachinerySubject
Automatic structures; Compliance checking; Runtime verification; Security policies; Security policiesOrganisational unit
03634 - Basin, David
Notes
.More
Show all metadata