Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Automata, Formal Verification (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/57)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Model-based system architecture for event-triggered wireless control of bio-analytical devices
Ashraf, Kanwal
;
Le Moullec, Yannick
;
Pardy, Tamas
;
Rang, Toomas
2021 24th Euromicro Conference on Digital System Design (DSD), 01-03 September 2021
2021
/
p. 465–471 : ill
https://doi.org/10.1109/DSD53832.2021.00076
artikkel kogumikus
Seotud publikatsioonid
1
Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
57
1.
Automata, Formal Verification
2.
formal verification
3.
analytical mechanics of cellular automata
4.
automata learning
5.
bisimulation of Uppaal timed automata
6.
cellular automata
7.
finite automata
8.
nondeterministic finite automata
9.
reversible deter-ministic finite automata (REV-DFAs)
10.
timed automata
11.
timed automata mutation
12.
timed-automata
13.
UPPAAL timed automata
14.
Formal
15.
formal and combined safety elements
16.
formal and informal
17.
formal concept analysis
18.
formal education
19.
formal ferification
20.
formal language theory
21.
formal logic
22.
formal methods
23.
formal PMS
24.
formal rationality
25.
formal reasoning
26.
formal revolution
27.
formal semantics
28.
formal specification
29.
mandatory formal concepts
30.
non-formal education
31.
rigorous formal diagrammatic system
32.
top-K formal concepts
33.
assertion-based verification
34.
automatic speaker verification
35.
compliance verification
36.
compositional verification
37.
deductive verification
38.
extra-functional verification
39.
forecast verification
40.
functional verification
41.
grid verification
42.
Hardware Verification
43.
model verification
44.
model-based verification
45.
power verification
46.
program verification
47.
reliability verification
48.
security verification
49.
simple payment verification (SVP)
50.
simulation-based verification
51.
speaker verification
52.
timing verification
53.
validation and verification
54.
verification
55.
verification and validation
56.
verification by model checking
57.
verification methods
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT