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

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...: Introducing Security Aspects -- The Pragmatics of STAIRS -- Tools -- Smallfoot: Modular Automatic Assertion...”
Cover Image
Read Now

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

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Infinite-State Systems -- Diagnostic and Test Generation -- Using Static Analysis to Improve Automatic Test...”