First Page | Document Content | |
---|---|---|
![]() Date: 2006-06-05 00:33:07Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science | Add to Reading List |