Publication | Closed Access
Quantitative analysis of real-time systems using priced timed automata
59
Citations
22
References
2011
Year
EngineeringOptimization ProblemsComputational ComplexityFormal VerificationQuantitative AnalysisAutomaton NetworkSystems EngineeringTimed SystemLogical AutomatonComputer ScienceReal-time ComputingProgram AnalysisFormal MethodsProcess ControlAutomaton OperationReal-time SystemsParallel ProgrammingWide RangeReal-time OperationTimed Automata
Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.
| Year | Citations | |
|---|---|---|
Page 1
Page 1