MPG.eBooks - Search Results - ("synthese" or "synthesizes")

1

Published 2024

Springer Nature Switzerland

Table of Contents: “...Towards LLM-based System Migration in Language-Driven Engineering -- Synthesizing Understandable...”

2

Published 2020

Springer International Publishing

Table of Contents: “... -- Synthesizing Control for a System with Black Box Environment, based on Deep Learning -- A Formal Model...”

3

Published 2018

Springer International Publishing

Table of Contents: “... Functions -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition...”

4

Published 2018

Springer International Publishing

Table of Contents: “... Vehicles: the SOTA Approach -- Synthesizing Capabilities for Collective Adaptive Systems from Self...”

5

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... Efficiency of Evolving Critical Systems -- Combinatory Logic Synthesizer -- Incremental Syntactic-Semantic...”

6

Published 2016

Springer International Publishing

Table of Contents: “... Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications...”