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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/62)
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
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
Number of records 1, displaying
1 - 1
keyword
62
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 learning
7.
bisimulation of Uppaal timed automata
8.
cellular automata
9.
deterministic automata
10.
finite automata
11.
nondeterministic finite automata
12.
reversible deter-ministic finite automata (REV-DFAs)
13.
timed automata
14.
timed automata mutation
15.
timed-automata
16.
UPPAAL timed automata
17.
Formal
18.
formal and combined safety elements
19.
formal and informal
20.
formal concept analysis
21.
formal education
22.
formal ferification
23.
formal language theory
24.
formal logic
25.
formal methods
26.
formal PMS
27.
formal rationality
28.
formal reasoning
29.
formal revolution
30.
formal semantics
31.
formal specification
32.
mandatory formal concepts
33.
non-formal education
34.
rigorous formal diagrammatic system
35.
top-K formal concepts
36.
assertion-based verification
37.
Automatic Security Verification
38.
automatic speaker verification
39.
compliance verification
40.
compositional verification
41.
deductive verification
42.
extra-functional verification
43.
forecast verification
44.
functional verification
45.
grid verification
46.
Hardware Verification
47.
model verification
48.
model-based verification
49.
power verification
50.
program verification
51.
reliability verification
52.
RISC-V Security Verification
53.
security verification
54.
simple payment verification (SVP)
55.
simulation-based verification
56.
speaker verification
57.
timing verification
58.
validation and verification
59.
verification
60.
verification and validation
61.
verification by model checking
62.
verification methods
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT