Runtime enforcement of timed properties revisited - Concepedia

Concepedia

Publication | Open Access

Runtime enforcement of timed properties revisited

DOI Full Paper Access

47

Citations

17

References

2014

Year

Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena Timo

Formal Methods in System Design

Hardware SecurityEngineeringRuntime VerificationProgram AnalysisVerificationFormal MethodsSecurity PropertyRuntime EnforcementReal-time SystemsComputer ScienceTimed SystemSoftware AnalysisData SecurityFormal Verification

References

	Year	Citations

Page 1

Page 1