Computer Science – Logic in Computer Science
Scientific paper
2001-10-31
Computer Science
Logic in Computer Science
Scientific paper
We write the relations that characterize the simpliest timed automaton, the
inertial delay buffer, in two versions: the non-deterministic and the
deterministic one, by making use of the derivatives of the R->{0,1} functions.
No associations
LandOfFree
Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-104649