Formal methods for modeling and analysis of hybrid systems
Formal methods for test case generation
Frequency shifting isolator system
FSM closure of generalized tree models
FSM closure of generalized tree models
Fundamental method and its hardware implementation for the...
Fusion of data from differing mathematical models