The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 28
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
embedded systems
7
timed automata
4
computation tree logic
3
electrical engineering. electronics. nuclear engineering
3
formal verification
3
model checking
3
more ...
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
computational theory and mathematics
1
computer science
1
cycle accurate
1
embedded system
1
less ...
Published in
Publisher
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
more ...
springer
1
springer us
1
zenodo
1
less ...
Language
Content Provider
Year of Publication
Filter