Login / Signup
Specification & Detection of IN Service Interference Using LOTOS.
Ole Christian Dahl
Elie Najm
Published in:
FORTE (1993)
Keyphrases
</>
temporal ordering
service oriented
false alarms
automatic detection
protocol specification
web services
power line
formal specification
service composition
false positives
detection rate
detection method
detection accuracy
object detection
service providers
management system
end users
high level