-
1
-
2
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Veröffentlicht 2024BHS01
BTU01
FAB01
FAW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBY01
UER01
URL des Erstveröffentlichers
Elektronisch E-Book -
3
-
4
-
5
Automatic methods for the refinement of system models from the specification to the implementation
Veröffentlicht 2017
VolltextElektronisch E-Book -
6
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme Design, Verständnis und Anwendungen
Veröffentlicht 2023DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers
Elektronisch E-Book -
7
Noch analog oder lebst Du schon? mit Nrdman durch die Welt von heute... und morgen
Veröffentlicht 2021BFB01
BHS01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FWS01
FWS02
HTW01
HWR01
TUM01
UBA01
UBM01
UBT01
UBW01
UBY01
UER01
URL des Erstveröffentlichers
Elektronisch E-Book -
8
-
9
Erweiterte virtuelle Prototypen für heterogene Systeme
Veröffentlicht 2024DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers
Elektronisch E-Book -
10
-
11
-
12
In-Memory-Computing Synthese und Optimierung
Veröffentlicht 2023DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers
Elektronisch E-Book -
13
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Veröffentlicht 2023DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers
Elektronisch E-Book -
14
-
15
-
16
-
17
Verbessertes virtuelles Prototyping mit RISC-V-Fallstudien
Veröffentlicht 2022BFB01
BHS01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBM01
UBT01
UBW01
UBY01
UER01
URL des Erstveröffentlichers
Elektronisch E-Book -
18
-
19
-
20