1
2
by Pillonetto, Gianluigi.
Published 2022
Format:
Table of Contents: ...: Proof of Theorem 1.1 -- References -- 2 Classical System Identification -- 2.1 The State-of-the-Art...
Click to View
3
by Marwedel, Peter.
Published 2021
Format:
Table of Contents: ....4 Common Characteristics -- 1.5 Curriculum Integration of Embedded Systems, CPS, and IoT -- 1...
Click to View
4
by Henkel, Jörg.
Published 2020
Format:
Table of Contents: ... Timing Behavior -- 5 Static Analyses -- 6 FEHLER Runtime System -- 7 Use Case: A Fault-Tolerant QoS-Aware...
Click to View
5
by Strasser, Thomas I.
Published 2020
Format:
Table of Contents: ...Intro -- Preface -- Contents -- Acronyms -- Towards System-Level Validation -- 1 Higher Complexity...
Click to View
6
by Böhm, Wolfgang.
Published 2020
Format:
Table of Contents: ... of Collaborative Embedded Systems -- 2.1 Introduction -- 2.2 Background -- 2.3 Collaborating Embedded Systems -- 2...
Click to View
7
by Aurich, Jan C.
Published 2023
Format:
Table of Contents: ... Implementation -- 4.1 Real System -- 4.2 Communication System -- 4.3 Digital System -- 4.4 Benefits...
Click to View
8
9
10
11
by Lysne, Olav.
Published 2018
Format:
Table of Contents: ... -- Trust Between Components -- 2.7 Discussion -- References -- 3 What Is an ICT System? -- 3.1 Transistors...
Click to View
12
by Ramon, Manoel.
Published 2014
Format:
Table of Contents: ... to the Yocto Build System -- Yocto and this Book -- Poky -- The Build System Tree at a Glance -- An Example...
Click to View
13
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ... Fuzzing -- 1 Introduction -- 2 Approach -- 2.1 Static analysis and instrumentation -- 2.2 Fuzzing loop...
Click to View
14
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ... -- References -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- 1...
Click to View
15
by Schirrer, Alexander.
Published 2022
Format:
Table of Contents: ... Campaigns -- 6.2.5 Static Pressure -- 6.2.6 Data Preprocessing -- 6.3 Results -- 6.3.1 Static Pressure -- 6...
Click to View
16
by Fleischmann, Albert.
Published 2020
Format:
Table of Contents: ... Gateway -- 3.5.4 Notation Elements for Modeling Communication -- 3.5.5 Examples for Modeling Communication...
Click to View
17
by Majoul, Bootheina.
Published 2023
Format:
Table of Contents: ... Libraries in the Public Cultural Service System -- 1 Introduction -- 2 Overview of Public Cultural Service...
Click to View
18
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... Discussion -- Machine Learning as an Enabler for Automated Assistance Systems for the Classification of Tool...
Click to View
19
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... with Communicating Hybrid Programs -- 1 Introduction -- 2 Dynamic Logic of Communicating Hybrid Programs -- 2...
Click to View