Search alternatives:
elocution » execution
relocation » reallocation, location, allocation
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... IN protocol implementation -- Agent-based data services in future IN-platforms -- Visualisation of executable...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Verification and Validation.- Learning Stochastic Timed Automata from Sample Executions.- Learning...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
Table of Contents: “... Evolution -- Archimedean Points: The Essence for Mastering of Change -- Model Patterns: The Quest...”
Cover Image
Read Now

4
Published 2019
Springer International Publishing
Table of Contents: “... Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “... -- Execution Trace Analysis Using LTL-FO+ -- Challenges in Fault-tolerant Distributed Runtime Verification...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...”
Cover Image
Read Now

7
Published 2021
Springer International Publishing
Table of Contents: “... of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking...”
Cover Image
Read Now

8
Published 2019
Springer International Publishing
“... the methodological evolution that helps guaranteeing that future systems meet their increasingly critical...”
Cover Image
Read Now

9
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
Cover Image
Read Now

10
Published 2016
Springer International Publishing
Table of Contents: “...Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using...”
Cover Image
Read Now

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... with RELVIEW -- Efficient search as a means of executing specifications -- An improvement of McMillan...”
Cover Image
Read Now

12
Published 2018
Springer International Publishing
Table of Contents: “... Approach -- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges --...”
Cover Image
Read Now

13
Published 2021
Springer International Publishing
Table of Contents: “... in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
Table of Contents: “...? -- Mutation-based Test Suite Evolution For Self-Organizing Systems -- Adapting Quality Assurance to Adaptive...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Networking Challenges and Service Evolution --...”
Cover Image
Read Now

16
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... to Read -- Industrial Track -- The Technological and Interdisciplinary Evolution in Machine and Plant...”