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

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Verification using uninterpreted functions and finite instantiations -- Formal verification...”
Cover Image
Read Now

2
by Schuster, Richard, Trippner, Dietmar, Endres, Michael
Published 1990
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques -- A Methodology for the Formal...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Verification of Language Based Fault-Tolerance -- Applying Stacking and Corpus Transformation to a Chunking...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Vehicles -- Hyper-Automation System Applied to Geometry Demonstration Environment -- Computer Algebra...”
Cover Image
Read Now

8
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis...”