Publication | Closed Access
An assumption-based TMS
1.7K
Citations
19
References
1986
Year
EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal MethodsObservabilityComputer ScienceFinite-state SystemAssumption-based TmsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1