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

1
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Domain-Specific Business Modeling with the Business Model Developer -- Dr. Watson? Balancing Automation...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “...A modular design framework to assess intelligent trains -- Formal Modelling and Verification of a...”
Cover Image
Read Now

3
Published 2022
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Methodology -- Theories of programming: Top-Down and Bottom­up and Neeting in the Middle -- A...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Programmers.- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “...RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”