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/57)
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
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
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