Publication | Closed Access
T-UPPAAL: online model-based testing of real-time systems
51
Citations
1
References
2004
Year
Unknown Venue
EngineeringComputational TestingSystem TestingSoftware TestingVerificationSystems EngineeringReal-time SystemsComputer ScienceModeling And SimulationSoftware AnalysisSystem SoftwareModel-based TestingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1