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

1
Published 2016
Springer International Publishing
Table of Contents: “... Affine Counter Systems with the Finite Monoid Property -- Solving Language Equations using Flanked...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... -- Discriminating Traces with Time -- Directed Automated Memory Performance Testing -- Context-bounded Analysis...”
Cover Image
Read Now

3
Published 2019
Springer International Publishing
Table of Contents: “... Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination...”
Cover Image
Read Now

4
Published 2013
Springer International Publishing
Table of Contents: “... Generation -- Symbolic Model-Based Testing for Industrial Automation Software -- Online Testing of LTL...”