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: “... of Optimal Schedulers for Probabilistic Timed Automata -- Probabilistic Formal Analysis of App Usage...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing...”