1
by Felderer, Michael.
Published 2020
Format:
Table of Contents: ....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...
Click to View
2
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ... Introduction -- 2 Background -- 3 Generating Test Programs with PEQtest -- 4 Evaluation -- 4.1 Experimental...
Click to View
3
by Schüppstuhl, Thorsten.
Published 2021
Format:
Table of Contents: ... Strategies and Data-Driven Program Adaption -- 4 Validation -- 4.1 Evaluation of Scanning Accuracy -- 4...
Click to View
4
by Jasperneite, Jürgen.
Published 2022
Format:
Table of Contents: ...-IoT Performance Evaluation Results -- 4.1 System Tests -- 4.2 Protocol Tests -- 5 Conclusion...
Click to View
5
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ....1 Verification Evaluation -- 6.2 Performance and Output Quality Evaluation -- 7 Discussion -- A Zero-Knowledge...
Click to View
6
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Checking for AcyclicFrames -- 5 Case Studies and Evaluation -- 5.1 Analysis of Experimental Results -- 6...
Click to View
7
by Marwedel, Peter.
Published 2021
Format:
Table of Contents: ...-Objective Optimization -- 5.1.3 Relevant Objectives -- 5.2 Performance Evaluation -- 5.2.1 Early Phases -- 5...
Click to View
8
by Roucoules, Lionel.
Published 2021
Format:
Table of Contents: ... Program Chair -- Conference Advisory Chairmen -- Scientific Committee -- Organizing Committee -- Contents...
Click to View