Search alternatives:
languages » language
automata » automatic
Cover Image
Read Now

1
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Cover Image
Read Now

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

3
Published 2015
Springer International Publishing
Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
Cover Image
Read Now

4
Published 2021
Springer International Publishing
Table of Contents: “... and Formal Verification....”
Cover Image
Read Now

5
Published 2017
Springer International Publishing
Table of Contents: “...Verification and validation -- Software engineering -- Formal specification and modeling -- Software...”
Cover Image
Read Now

6
Published 2017
Springer International Publishing
Table of Contents: “...Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination...”