Publication | Closed Access
Performance analysis of probabilistic timed automata using digital clocks
197
Citations
32
References
2006
Year
Logical AutomatonEngineeringVerificationProcess ControlFormal MethodsSystems EngineeringAutomaton OperationDigital ClocksComputer ScienceTimed SystemIndustrial InformaticsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1