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
verification methods (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/115)
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
Summer thermal comfort compliance assessment in apartment buildings
Simson, Raimo
;
Kurnitski, Jarek
;
Maivel, Mikk
;
Kalamees, Targo
Healthy Buildings 2015 : Eindhoven, The Netherlands, May 18-20, 2015 [Electronic resource]
2015
/
p. 1-8 : ill. [USB]
book article
Number of records 1, displaying
1 - 1
keyword
115
1.
verification methods
2.
assertion-based verification
3.
Automata, Formal Verification
4.
automatic speaker verification
5.
compliance verification
6.
compositional verification
7.
deductive verification
8.
extra-functional verification
9.
forecast verification
10.
formal verification
11.
functional verification
12.
grid verification
13.
Hardware Verification
14.
model verification
15.
model-based verification
16.
power verification
17.
program verification
18.
reliability verification
19.
security verification
20.
simple payment verification (SVP)
21.
simulation-based verification
22.
speaker verification
23.
timing verification
24.
validation and verification
25.
verification
26.
verification and validation
27.
verification by model checking
28.
active learning methods
29.
algebraic methods
30.
algebraic/geometric methods
31.
an ensemble of compression methods
32.
analysis methods
33.
analytical methods
34.
approximate methods
35.
approximation methods
36.
assessment methods
37.
Backstepping methods
38.
calculation methods
39.
Cesaro methods
40.
chemometric methods
41.
computational design methods
42.
control methods
43.
decontamination methods
44.
design methods
45.
diagnostics methods
46.
didactic methods
47.
digital methods
48.
Euler-Knopp methods
49.
excavation methods
50.
finite-element (FE) methods
51.
finite-element methods
52.
finite-element methods (FEM)
53.
flow assessment methods
54.
formal methods
55.
Gauss-Newton-type methods
56.
Gauss–Newton-type methods
57.
generalized Nörlund methods
58.
geometric methods
59.
integration methods
60.
interaction methods
61.
interactive teaching methods
62.
interpretation methods
63.
invasive methods
64.
inverse methods
65.
inverse methods for engineering applications
66.
linear and nonlinear unsupervised methods
67.
material characterization methods
68.
Mathematical methods
69.
matrix methods
70.
methods
71.
methods of measuring
72.
methods of study
73.
Methods: statistical
74.
mixed methods
75.
mixed-methods
76.
model-free methods
77.
modulation methods
78.
Monte Carlo methods
79.
nearest neighbor methods
80.
numerical methods
81.
optimization methods
82.
outlier’s detection methods
83.
physico-chemical methods
84.
plan-driven methods
85.
polynomial methods
86.
practical teaching methods
87.
prediction methods
88.
pseudospectral methods
89.
qualitative methods
90.
qualitative research methods
91.
regular matrix methods
92.
research methods
93.
sampling methods
94.
selection methods
95.
separation methods
96.
shootthrough control methods
97.
shoot-through control methods
98.
stability prediction methods
99.
standardized methods
100.
state space methods
101.
Statistical methods
102.
statistics methods
103.
substation testing methods
104.
Taguchi methods
105.
teaching methods
106.
testing methods
107.
timber construction (construction methods)
108.
tracer gas methods
109.
transmission line matrix methods
110.
variational methods
111.
visual methods
112.
visualization design and evaluation methods
113.
X-ray methods
114.
X-ray methods B
115.
finite element 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