Search alternatives:
"elocution" » "relocation"
"execution" » "executive"
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 2016
Springer International Publishing
Table of Contents: “... -- Execution Trace Analysis Using LTL-FO+ -- Challenges in Fault-tolerant Distributed Runtime Verification...”
Cover Image
Read Now

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

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