Publication | Closed Access
Testing timed automata
276
Citations
15
References
2001
Year
Logical AutomatonEngineeringAutomated ReasoningSoftware TestingVerificationFormal MethodsSoftware AnalysisAutomaton OperationComputer ScienceTimed SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1