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

1
Published 2016
Springer International Publishing
Table of Contents: “... Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat...”
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...”