Publication | Closed Access
Timed sequence diagrams and tool-based analysis: a case study
50
Citations
8
References
1999
Year
EngineeringFormal ModelingProgram AnalysisTiming AnalysisSoftware TestingFormal MethodsSoftware EngineeringSystems EngineeringSequence DiagramsComputer ScienceTimed SystemSoftware AnalysisSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1