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
Formal specification of sensors (title)
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/63)
Export
export all inquiry results
(1)
Save TXT 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
Formal specification of sensors
Kuusik, Alar
;
Vain, Jüri
Ringhääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid
1999
/
lk. 80-83
book article
Number of records 1, displaying
1 - 1
keyword
63
1.
formal specification
2.
Property Specification Language (PSL)
3.
specification
4.
specification mutation
5.
Automata, Formal Verification
6.
Formal
7.
formal and combined safety elements
8.
formal and informal
9.
formal category theory
10.
formal concept analysis
11.
formal education
12.
formal ferification
13.
formal language theory
14.
formal languages
15.
formal logic
16.
formal methods
17.
formal PMS
18.
formal rationality
19.
formal reasoning
20.
formal revolution
21.
formal semantics
22.
formal verification
23.
mandatory formal concepts
24.
non-formal education
25.
rigorous formal diagrammatic system
26.
top-K formal concepts
27.
Barotrauma detection system sensors
28.
bio-inspired sensors
29.
building sensors
30.
capacitive sensors
31.
chemical sensors
32.
CO2 sensors
33.
differential pressure sensors
34.
Electrochemcial sensors
35.
electromagnetic sensors
36.
embedded sensors
37.
fluidic backpressure sensors
38.
fluoride shuttle sensors
39.
fluorometric sensors
40.
image sensors
41.
induction sensors
42.
inductive sensors
43.
instrumentation/sensors
44.
intelligent sensors
45.
label-free sensors
46.
monolithic active pixel sensors
47.
multimodal sensors
48.
optical sensors
49.
pressure sensors
50.
sensors
51.
sensors for measuring the blood pressure
52.
sensors for measuring the heart rate
53.
Sensors modeling and analysis
54.
silicon sensors
55.
smart sensors
56.
smart-bike sensors
57.
soil-moisture sensors
58.
temperature sensors
59.
thermal sensors
60.
UV sensors
61.
wearable sensors
62.
wireless sensors
63.
VOC sensors
×
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