Search alternatives:
"execution" » "executive"

1
Published 2024
Springer Nature Switzerland
Table of Contents: ... Modeling/Execution Language -- Simulating User Journeys with Active Objects -- Actors Upgraded...

2
Published 2008
Springer Berlin Heidelberg
... execution, or constraint logic programming; generation of specifications by deduction; verification...

3
Published 2020
Springer International Publishing
Table of Contents: ... Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction...