Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Automata, Formal Verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/66)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
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
book article
Related publications
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
Number of records 1, displaying
1 - 1
keyword
66
1.
Automata, Formal Verification
2.
formal verification
3.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4.
analytical mechanics of cellular automata
5.
asynchronous automata
6.
automata
7.
automata learning
8.
bisimulation of Uppaal timed automata
9.
cellular automata
10.
deterministic automata
11.
finite automata
12.
nondeterministic finite automata
13.
reversible deter-ministic finite automata (REV-DFAs)
14.
timed automata
15.
timed automata mutation
16.
timed-automata
17.
UPPAAL timed automata
18.
Formal
19.
formal and combined safety elements
20.
formal and informal
21.
formal category theory
22.
formal concept analysis
23.
formal education
24.
formal ferification
25.
formal language theory
26.
formal languages
27.
formal logic
28.
formal methods
29.
formal PMS
30.
formal rationality
31.
formal reasoning
32.
formal revolution
33.
formal semantics
34.
formal specification
35.
mandatory formal concepts
36.
non-formal education
37.
rigorous formal diagrammatic system
38.
top-K formal concepts
39.
assertion-based verification
40.
Automatic Security Verification
41.
automatic speaker verification
42.
compliance verification
43.
compositional verification
44.
deductive verification
45.
extra-functional verification
46.
forecast verification
47.
functional verification
48.
grid verification
49.
Hardware Verification
50.
model verification
51.
model-based verification
52.
power verification
53.
program verification
54.
Quantum state verification
55.
reliability verification
56.
RISC-V Security Verification
57.
security verification
58.
simple payment verification (SVP)
59.
simulation-based verification
60.
speaker verification
61.
timing verification
62.
validation and verification
63.
verification
64.
verification and validation
65.
verification by model checking
66.
verification methods
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT