Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 21 - 23
von 23
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
embedded systems
7
timed automata
4
computation tree logic
3
electrical engineering. electronics. nuclear engineering
3
formal verification
3
model checking
3
mehr ...
systemverilog
3
tk1-9971
3
cdma
2
channel equalization
2
conjugate gradient
2
formalna verifikacia
2
hardware design
2
least mean square
2
mbse
2
mimo
2
mimo channels
2
multi input multi output
2
productivity gap
2
risc-v
2
sva
2
system level design
2
systemc
2
verification
2
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
assertion-based verification
1
computational theory and mathematics
1
computer science
1
cycle accurate
1
weniger ...
Veröffentlicht in
Verlag
vysoke uceni technicke v brne. fakulta informacnich technologii
9
vysoke uceni technicke v brne. fakulta elektrotechniky a komunikacnich technologii
8
ieee
2
ieee-inst electrical electronics engineers inc
1
institute of electrical and electronics engineers (ieee)
1
mdpi
1
mehr ...
springer
1
springer us
1
zenodo
1
weniger ...
Sprache
Treffer aus
Erscheinungsjahr
Filter