Publication | Open Access
Runtime enforcement of regular timed properties by suppressing and delaying events
31
Citations
35
References
2016
Year
Hardware SecurityEngineeringRuntime VerificationInformation SecurityVerificationFormal MethodsSystems EngineeringRuntime EnforcementReal-time SystemsComputer ScienceTemporal LogicTimed SystemFormal VerificationSecurity Property
| Year | Citations | |
|---|---|---|
Page 1
Page 1