Amanote Research
Register
Sign In
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
doi 10.5220/0003768703700373
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications