Publication | Closed Access
On the formal verification of hybrid systems
41
Citations
11
References
2004
Year
EngineeringAutomated ReasoningVerificationFormal MethodsSystems EngineeringFormal TechniqueComputer ScienceModel CheckingFormal VerificationFunctional Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1