Login / Signup
On Safety Properties and Their Monitoring.
Grigore Rosu
Published in:
Sci. Ann. Comput. Sci. (2012)
Keyphrases
</>
real time
desirable properties
database
monitoring system
case study