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
Advanced search
My bookmarks
0
A knowledge-based approach to the specification-based program testing (title)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/332)
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
journal article
A knowledge-based approach to the specification-based program testing
Tepandi, Jaak
Computers and artificial intelligence = Вычислительные машины и искуственный интеллект = Pocitace a umela inteligencia
1988
/
p. 39-48
https://www.ester.ee/record=b1482459*est
journal article
Number of records 1, displaying
1 - 1
keyword
332
1.
knowledge based economy
2.
knowledge based manufacturing
3.
knowledge based systems
4.
knowledge-based design
5.
knowledge-based economy
6.
knowledge-based manufacturing
7.
knowledge-based system
8.
knowledge-based systems
9.
model based testing
10.
model-based mutation testing
11.
model-based testing
12.
competency-based approach
13.
surrogate-based approach
14.
Alternative Transient Program-Electromagnetic Transient Program (ATP-EMTP)
15.
accelerator-based architecture
16.
accrual-based credit risk model
17.
accrual-based ratios
18.
Active chitosan-based film
19.
activity based modelling
20.
activity-based budgeting
21.
activity-based cost estimating
22.
activity-based costing
23.
Activity-based demand generation
24.
Activity-based transport modeling
25.
Adaptive network-based fuzzy inference system (ANFIS)
26.
address-based sorting
27.
agent-based model
28.
agent-based modeling
29.
agent-based modeling (ABM)
30.
agent-based models
31.
AI based CAD software
32.
AI-based data curation
33.
AI-based worker management
34.
Al based hard PVD coating
35.
al-based alloy
36.
Al-based alloys
37.
Al-based composite
38.
Al-based composites
39.
algorithm-based decision
40.
aluminum based composite
41.
ANN-based mechanical property prediction
42.
app-based mobile financial services
43.
archetypes and archetype patterns based development
44.
area‐based composite correlations method
45.
arts based initiatives (ABIs)
46.
assertion-based verification
47.
attention-based view
48.
attribute-based encryption
49.
attribute-based tracing
50.
Automated Synthesis of Software-based Self-test
51.
beam-based feedback
52.
behaviour-based intrusion detection systems
53.
Bi and Fe-based barium titanate
54.
Bio-Based
55.
bio-based adhesive
56.
bio-based and biodegradable plastics market
57.
Bio-based film-forming solution
58.
bio-based materials
59.
bio‐based materials
60.
biogeography based optimization
61.
bioimpedance based sensing
62.
bioimpedance-based sensing
63.
bisection based optimal power allocation
64.
bitumen-based roofing materials
65.
block-based merge
66.
borrower-based policy measures
67.
capacitive-based isolated converters
68.
carbon based materials
69.
carbon-based materials
70.
cash-based analysis
71.
cash-based ratios
72.
CdTe-based flexible PV cells
73.
challenge-based learning
74.
Challenge-Based Learning (CBL)
75.
chitosan-based film
76.
Choice-Based Conjoint analysis
77.
chromium carbide-based cermets
78.
clay-based ceramics
79.
climate based daylight modelling
80.
climate-based simulations
81.
cloud- and AI-based system
82.
cloud-based cyber-physical systems (C2PS)
83.
cloud-based medical systems
84.
commons based peer production
85.
commons-based innovation
86.
commons-based peer production (CBPP)
87.
Community-based research
88.
comparison-based
89.
comparison-based methodology
90.
competence based learning
91.
competence-based education
92.
competence-based learning
93.
competency based learning
94.
component-based design
95.
computer based learning
96.
computer vision-based methods
97.
consumption-based GHG accounting
98.
content-based recommender
99.
contract-based design
100.
copper-based wood preservatives
101.
cost-based competitiveness
102.
Cr3C2-based cermet
103.
CT-based surgical planning
104.
Cu-based alloy
105.
Cu-based alloys
106.
customer-based brand equity
107.
cylindrical Ti6Al4V-based lattice implants
108.
data-based computational psychiatry
109.
drone-based traffic monitoring
110.
droplet-based technology
111.
ecosystem-based management
112.
end-to-end model-based system
113.
Energy-based evaluation
114.
environmentally friendly wood-based panels
115.
event-based control
116.
evidence based policy
117.
evidence-based decision making
118.
evidence-based decision-making
119.
evidence-based medicine
120.
evidence-based personalized medicine
121.
Faith-based governance models
122.
feature based machining
123.
feature-based machining
124.
Fe-based alloy
125.
Fe-based amorphous alloy
126.
Fe-based hardfacing
127.
Fenton-based treatment
128.
fetch-based models
129.
finite cycle-based model predictive control
130.
finitely based
131.
flatness-based control
132.
flow-based modelling
133.
flying inductor based inverter
134.
FPGA based lab kit
135.
FPGA based test
136.
FPGA-based development boards
137.
FPGA-based prototyping
138.
fragment-based QSAR
139.
game based learning
140.
game-based learning
141.
game-based proofs
142.
GaN-based converters
143.
GaN-based dc–dc converter
144.
gelatin-based phantom
145.
graph-based algorithms
146.
graph-based ranking
147.
graphene-based aerogel
148.
GraphSAGE (Graph Based Neural Network)
149.
health-based ventilation
150.
Human-brand based marketing
151.
HW Accelerators based on Channels Vulnerability
152.
ICT-based service solutions for senior citizens
153.
image-based
154.
image-based crack detection
155.
infection risk-based ventilation
156.
information model-based urban planning
157.
institution-based view
158.
interest-based
159.
interleukin-based therapy
160.
internet-based cognitive behavioural theraphy
161.
Internet-based voting
162.
ionic-liquid-based surfactants
163.
IoT-based monitoring
164.
iron-chromium-based binder
165.
isogeny-based cryptography
166.
Kalman-filter based maximum power point tracking (KF-MPPT)
167.
laser-based additive manufacturing
168.
Laser-based powder bed fusion
169.
lattice-based cryptography
170.
layout-based effects
171.
lignin-based catalyst
172.
lime-based plasters
173.
linear Delta robots neural network based model
174.
location-based social networks
175.
logic-based distributed routing
176.
LUT-based obfuscation
177.
manganese dioxide based filter material
178.
map-based localization
179.
market-based coordination
180.
market-based innovation
181.
market-based subsidy
182.
Me)(C,N)-FeCr-based cermets
183.
metallic-based material
184.
Mg–Ag-based alloy
185.
microbiome-based solutions
186.
model based
187.
model-based control
188.
model-based development
189.
Model-Based Engineering (MBE)
190.
model-based navigation
191.
model-based patterns
192.
model-based software development
193.
Model-Based Systems Engineering (MBSE)
194.
model-based verification
195.
modified winding function‐based model
196.
multiagent-based microscopic traffic assignment model (MMTAM)
197.
nature-based composite
198.
nature-based solutions
199.
nature-based solutions (NBSs)
200.
NB-IoT-based edge-ofthings
201.
NetFlow based network monitoring
202.
Ni-based alloy
203.
Ni-based catalyst
204.
Ni-based superalloy
205.
nickel-based superalloys
206.
nikel-based self-fluxing alloy
207.
non-market-based stringency
208.
NPC-based inverter
209.
ontology-based modeling
210.
ontology-based modelling
211.
ontology-based software engineering
212.
open source-based innovation
213.
partial power based on buck-boost resonance converter
214.
partial power based on isolated Z - Source converter(PPZSC)
215.
passivity based control
216.
passivity-based control (PBC)
217.
Peptide based transfection systems
218.
performance-based design
219.
physically based fire
220.
physically based fires
221.
physics-based compressive sensing
222.
physics-based modeling
223.
place-based policy
224.
plant-based
225.
Plant-based alternatives
226.
plant-based beverage
227.
plant-based food
228.
plant-based foods
229.
plant-based meat analogues
230.
plant-based NADES
231.
plant-based protein
232.
policy-based routing security
233.
pollen-based reconstructions
234.
population-based study
235.
power based control
236.
power-to-gas based storage system
237.
price based control
238.
price based control of industrial processes
239.
priority-based charging and discharging
240.
priority-based-offloading
241.
problem-based learning
242.
Problem-based learning (PBL)
243.
project-based learning
244.
qZS-based DC/DC converter
245.
query-based search
246.
rapeseed oil-based wood preservatives
247.
reconfigurable-based obfuscation
248.
regression based model
249.
renewable-based hybrid system
250.
research-based education
251.
resource-based view
252.
ripple-based control
253.
risk-based laws
254.
risk-based management
255.
room unit based ventilation
256.
room-based ventilation
257.
room-based ventilation units
258.
rtioco-based timed test sequences
259.
rule-based
260.
rule-based algorithm
261.
rule-based classification
262.
rule-based control
263.
rule-based non-linear optimization
264.
rule-based reasoning
265.
rules-based systems
266.
sampling based motion planning
267.
SAT-based attack
268.
saturation based proving
269.
scan-based stress
270.
scenario-based experiment
271.
science-based industries
272.
SDN-based IoT management frameworks
273.
series partial power converter (S-PPC) based on the push-pull
274.
session-based recommendation
275.
simulation based static optimization
276.
simulation based TMY
277.
simulationbased decision support
278.
simulation-based verification
279.
Simultaneous model-based optimization
280.
software based self-test
281.
software-based self-test
282.
software-based self-test (SBST)
283.
solution based synthesis
284.
solution‐based deposition
285.
space-based solar power
286.
spectrum-based fault localization
287.
standards-based classfication system
288.
status-based participation
289.
steam turbine-based synchronous generator
290.
steel-based hardfacing
291.
subscription based interactions
292.
zirconia-based ceramics
293.
ZrC Based Ceramics
294.
ZrC-based composites
295.
task based learning
296.
template based sql generation
297.
text-based robots
298.
textile-based triboelectric nanogenerators (T-TENGs)
299.
Ti(C,N)-Fe-based cermets
300.
Ti(C,N)–Fe-based cermets
301.
Ti(CN)-Fe-based cermets
302.
TiB-based composite
303.
TiC- 430 L fss-based cermets
304.
TiC based cermets
305.
TiC-based cermet
306.
TiC-based cermets
307.
TiC-Fe-based cermets
308.
time-driven activity-based costing
309.
time-driven activity-based costing, TDABC
310.
titanium carbide-based cermets
311.
transformer-based models
312.
transformer-based neural network
313.
Tree-based methods
314.
User-based study
315.
value-based design
316.
water-based cleaning approaches
317.
water-based paint wastewater
318.
WC/Cr3C2-based cermet coating
319.
WC-based composites
320.
Web and computer-based learning
321.
web-based applications
322.
web-based medical record
323.
web-based record access
324.
web-based teaching
325.
web-based training
326.
web-based user interface
327.
weight-based collection
328.
weighted score-based ranking
329.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
330.
voice-based robots
331.
work-based learning
332.
work-based project
×
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