Monitoring Metric First-order Temporal Properties - Research Collection

Metadata only

Author

Basin, David A.

Klaedtke, Felix

Müller, Samuel K.

Zəlinescu, Eugen

Date

2015

Type

Journal Article

Citations

Cited 10 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/2699444

Journal / series

Journal of the ACM

Volume

62(2)

Pages / Article No.

15

Publisher

Association for Computing Machinery

Subject

Automatic structures; Compliance checking; Runtime verification; Security policies; Security policies

Organisational unit

03634 - Basin, David

Notes

.

More

Show all metadata

Citations

Cited 10 times in Web of Science

ETH Bibliography

yes

Altmetrics