Cover Image
Read Now

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

2
Published 2016
Springer International Publishing
Table of Contents: “...Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
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

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

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