Search alternatives:
automation theory » estimation theory, animation theory, automated theory
automatic theory » automatic theorem, axiomatic theory, automated theory
languages » language
automata » automated
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Replacing Testing with Formal Verification in Intel CoreTMi7 Processor Execution Engine Validation...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... problem -- Analysis of slope-parametric hybrid automata -- Comparing timed c/e systems with timed automata...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU...”