Date: 2006-11-03 02:08:52Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science | | Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy GhoshAdd to Reading ListSource URL: www.eecs.berkeley.eduDownload Document from Source Website File Size: 523,06 KBShare Document on Facebook
|