A brief history of Timed CSP - Concepedia

Concepedia

Publication | Closed Access

A brief history of Timed CSP

179

Citations

10

References

1995

Year

Jim Davies, Steve Schneider

Theoretical Computer Science

EngineeringTiming AnalysisFormal MethodsReal-time ComputingComputer ScienceTimed SystemFormal VerificationTimed Csp

References

	Year	Citations

Page 1