Publication | Closed Access
Formalizing sensing actions— A transition function based approach
154
Citations
39
References
2001
Year
EngineeringSensorsA Transition FunctionRobotic SensingAutomationFormal MethodsSystems EngineeringComputer ScienceSensing MechanismFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1