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 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card...”
Cover Image
Read Now

3
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
Cover Image
Read Now

4
Published 2020
Springer International Publishing
Table of Contents: “... of Formal Requirements from Structured Natural Language -- Using Eye Tracking Data to Improve Requirements...”