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 2009
Springer Berlin Heidelberg
Table of Contents: “... Constraints -- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Using Automatic Generation of Invariants, -- Theories of Programming and Programming Languages -- Random...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- On Equality Predicates in Algebraic Specification Languages -- Data-Distributions in PowerList Theory -- Quasi...”
Cover Image
Read Now

5
Published 2022
Springer International Publishing
Table of Contents: “... Specification Language for Automated Production -- On Safety, Assurance and Reliability: A Software Engineering...”