1
2
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Bounded Exhaustive Generation from Program APIs -- 3.1 Scope Definition -- 3.2 State Matching -- 3...
Click to View
3
by Goericke, Stephan.
Published 2019
Format:
Table of Contents: ... Behaviours -- 3.3 TSP Is a Learning and Development Scheme -- 3.4 The Skills Inventory -- 3.5 Program Member...
Click to View
4
by Reussner, Ralf.
Published 2019
Format:
Table of Contents: ... -- 7.1 Foundations -- 7.1.1 Model-Based Software Development and Testing -- 7.1.2 Model-Based Product...
Click to View
5
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ...Intro -- Contents -- Ernst Denert Software Engineering Award 2020 -- 1 Introduction -- 2 Overview...
Click to View
6
7
8
9
10
11
12
13
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...
Click to View
14
15
16
17
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... Completion for Generating Planar B-Rep Models -- 1 Introduction -- 2 State of the Art -- 3 Our Approach -- 3...
Click to View
18
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...
Click to View
19
by Su, Wencong.
Published 2018
Format:
Table of Contents: ... electronics based distribution system -- 2.4 Status of solid state transformer developments -- 2.5 Smart grid...
Click to View
20
by Jonoska, Natasa.
Published 2023
Format:
Table of Contents: ... by Assassination -- 5 Discussion -- 5.1 Further Development of Simulation Software for Social Nanorobots -- 5...
Click to View