Search alternatives:
languages » language
automata » automated
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... in an Automata-Theoretic Verification Framework -- Automatic Verification of Mixed-Level Logic Circuits -- A...”
Cover Image
Read Now

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

3
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

4
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

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Using SAT Based Conflict Analysis -- Symbolic Simulation -- Simplifying Circuits for Formal Verification...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...-Cellular Automata -- Representation and Processing of Complex Knowledge -- How Many Rounds to KO...”
Cover Image
Read Now

7
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

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Logic -- A Set Theory Prover Within Theorema -- Functional Programming and ? Calculus -- The Tertiary...”
Cover Image
Read Now

9
by Hollingum, Jack, Cassford, Graham
Published 1988
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

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

11
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- VisaVis the conception of a functional Visual Programming Language -- Systems theory in modelling...”
Cover Image
Read Now

12
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems...”
Cover Image
Read Now

13
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... systems -- A logical approach to system construction -- Task management system -- Toward a unified theory...”
Cover Image
Read Now

14
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness...”