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
model based testing (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..
(2/656)
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
journal article EST
/
journal article ENG
A systematic approach on modeling refinement and regression testing of real-time distributed systems
Pal, Deepak
;
Vain, Jüri
IFAC-PapersOnLine
2019
/
p. 1091-1096
https://doi.org/10.1016/j.ifacol.2019.11.341
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
654
1.
model based testing
2.
model-based testing
3.
model-based mutation testing
4.
agent-based model
5.
model-based control
6.
model-based development
7.
Model-Based Engineering (MBE)
8.
model-based patterns
9.
model-based software development
10.
Model-Based Systems Engineering (MBSE)
11.
model-based verification
12.
modified winding function‐based model
13.
multiagent-based microscopic traffic assignment model (MMTAM)
14.
regression based model
15.
Simultaneous model-based optimization
16.
accelerated testing
17.
acoustomechanical testing
18.
anaerobic testing
19.
aspect-oriented testing
20.
at-speed testing
21.
benchmark testing
22.
Berridge testing
23.
cancer genomic testing
24.
compliance testing
25.
compositional testing
26.
computer aided testing
27.
conformance testing
28.
courses on electronic testing and design
29.
cybersecurity testing
30.
D. non-destructive testing
31.
design field testing
32.
eddy current testing
33.
erosion testing
34.
fatigue testing
35.
fire testing
36.
hierarchical testing
37.
hypotheses testing
38.
integration testing
39.
laboratory scale testing
40.
load testing
41.
macro mechanical testing and green surface tribology
42.
material testing
43.
materials testing
44.
measurement and testing
45.
mechanical testing
46.
memory testing
47.
metamorphic testing
48.
microprocessor testing
49.
mutation testing
50.
network-testing
51.
non destructive testing
52.
nondestructive testing
53.
non-destructive testing
54.
on-site testing
55.
pin on disc wear testing
56.
PMU calibration testing
57.
PMU testing
58.
point-of-care testing
59.
processor core testing
60.
processor testing
61.
real-time HiL testing
62.
regression testing
63.
RISC processor testing
64.
robustness testing
65.
scenario testing
66.
scratch testing
67.
security testing
68.
small-scale fire testing
69.
software testing
70.
software-in-the-loop (SIL) testing
71.
stand-alone testing
72.
stress-testing
73.
substation testing methods
74.
system testing
75.
tensile testing
76.
testing
77.
testing methods
78.
testing of digital devices
79.
testing of generator
80.
testing of phasor measurement units
81.
two-dimensional array testing
82.
wafer testing
83.
wear testing
84.
vibration testing
85.
virtual testing
86.
acoustic model
87.
adjusted DuPont model
88.
analysis model
89.
analytical lumped parameter model
90.
analytical model
91.
analytical thermal model approach
92.
APARHC model
93.
APICS competence model
94.
armature current model
95.
asymmetric model
96.
attack model
97.
automatic GUI model generation
98.
automatic model creation
99.
Bass model
100.
Bayesian model averaging
101.
beyond standard model
102.
bicycle model
103.
business model
104.
business model archetypes
105.
business model attributes
106.
business model canvas
107.
business model classification
108.
business model generation
109.
business model innovation
110.
Business Model Innovation (BMI)
111.
business model reconfiguration
112.
business model research
113.
business network model
114.
Caco2 model cells
115.
Capability Maturity Model Integration for Development
116.
cartesian system model
117.
CERC model
118.
chain model
119.
channel model
120.
charging planning model
121.
Coalitional game model
122.
communication model
123.
compact empirical model
124.
company analyze model
125.
competence model
126.
competency model
127.
Comprehensive Situation Awareness Model
128.
conceptual data model
129.
conceptual model
130.
conceptual model of curriculum for accounting specialization
131.
condenser model
132.
constitutive model
133.
Context model
134.
corrosion model
135.
country analysis model
136.
coupled coils model
137.
crop model
138.
data generative model
139.
data quality maturity model
140.
decentralized model predictive control
141.
deep learning model
142.
default company model
143.
design model
144.
design-driven business model
145.
designing a teaching model
146.
detailed model
147.
didactic model
148.
digital surface model (DSM)
149.
disease model
150.
distributed activation energy model
151.
Dodd–Deeds model
152.
domain model
153.
domain model and domain modelling
154.
dq0 model
155.
DSGE model
156.
DSL meta-model ontology
157.
Ducoffe’s advertisement value model
158.
Ducoffe’s advertising model
159.
dynamic factor model
160.
dynamic model
161.
Dynamical vegetation model
162.
Ecological Regional Ocean Model (ERGOM)
163.
economic model
164.
Economic optimization model
165.
EES model
166.
EES Model-2
167.
elaboration likelihood model
168.
electricity demand model
169.
Electronic Education System Model-2
170.
empirical energy consumption model
171.
empirical model
172.
end member mixing model
173.
endogenous growth model
174.
energy system model
175.
enzyme-constrained genome-scale model
176.
enterprise analysis model (EAM)
177.
entrepreneurial intention transformation model “EITM”
178.
equivalent circuit model
179.
Eringen model
180.
Estonian sustainability model
181.
Eulerian model
182.
European Charring Model
183.
EV load model
184.
Event Processing Network Model
185.
experience pyramid model
186.
Experimental model
187.
explainable AI model
188.
exponential load model
189.
exponential model
190.
fault analysis model
191.
Felder-Silverman model
192.
FEM-model
193.
field tests model validation
194.
finite control set-model predictive control (FCS-MPC)
195.
finite element model
196.
finite-element (FE) model
197.
finite-element model
198.
fire design model
199.
fixed country-effect model
200.
FOPDT model
201.
friction model
202.
functional fault model
203.
fuzzy logic model
204.
gaussian mixture model
205.
Gaussian model
206.
genome model
207.
Genome-scale metabolic model
208.
geoid model
209.
GIS model
210.
Global climate model
211.
goal model
212.
gravity model
213.
grey box model
214.
GTAP model
215.
GUI model
216.
habitat model
217.
habitat suitability model
218.
Hammerstein-Wiener model
219.
HBM model
220.
Hidden Markov Model (HMM)
221.
high-frequency model
222.
high-level control fault model
223.
high-level fault model
224.
high-level functional fault model
225.
HIROMB-BOOS-Model (HBM)
226.
HL7 Version 3: Reference Information Model (RIM)
227.
holistic M&A model
228.
holistic merger and acquisition model
229.
hot/cold pressing and finite element model simulation
230.
hydraulic model
231.
hydraulic network model
232.
hydrodynamic model
233.
Ice history model
234.
inductive model
235.
input-output model
236.
integrated quadruple instructional model
237.
integrated waste management model
238.
integrative pedagogy model
239.
interpretive structural model (ISM)
240.
Jiles–Atherton (JA) model
241.
joint model
242.
Kano model
243.
KPI selection model
244.
KPIs selection model
245.
laboratory domain model
246.
Lagrangian model
247.
logistic model
248.
logistics competence model
249.
loss model
250.
LSV model
251.
lumped model
252.
lumped-parameter model
253.
Machine Learning Explainable model
254.
machine-learning predictive model
255.
MACRO model
256.
Markov-switching model
257.
mathematical model
258.
maturity model
259.
measurement model
260.
mental model
261.
metadata model for security measures
262.
meta-model
263.
MGARCH model
264.
microscopic traffic flow model
265.
model
266.
model amphipathic peptide
267.
model averaging
268.
model building
269.
model calibration
270.
model checking
271.
model communities
272.
model compression
273.
model construction
274.
model description
275.
Model Driven Architecture
276.
model driven engineering
277.
model ensemble
278.
model evaluation
279.
model identification
280.
model learning
281.
model matching problem
282.
model of fracture mechanism
283.
model of fracturemechanism
284.
model of friction
285.
model of non-technical engineering competences
286.
model order estimation
287.
model order reduction
288.
model order reduction (MOR)
289.
model predictive control
290.
model predictive control (MPC)
291.
model reanalysis
292.
model reduction
293.
model reference adaptive control
294.
model reference controller
295.
model refinement
296.
model smell
297.
Model test
298.
model transformation
299.
model transformations
300.
Model validation
301.
model verification
302.
model-checking
303.
model-driven design
304.
model-driven development
305.
model-free methods
306.
model-scale experiments
307.
modulated finite control set-model predictive control
308.
multi model ensemble (MME)
309.
multidomain language model
310.
multi-loop model reference control
311.
multiplicative neuron model
312.
multi-pole mathematical model
313.
multi-pole model
314.
multi-pole model design
315.
natural background model
316.
Neyman-Pearson model
317.
NKG2015 geoid model
318.
NN-ANARX model
319.
nonlinear model identification
320.
nonlinear model predictive control
321.
nonlinear time-varying factor model
322.
non-thermal model
323.
Nonthermal model
324.
NSPT model
325.
object model
326.
ocean-sea-ice model
327.
open architecture model
328.
open-economy dynamic general equilibrium model
329.
openEHR RM (Reference Model)
330.
optimal model
331.
panel threshold model
332.
panel vector autoregressive model (VAR)
333.
parallel reaction model
334.
path loss model
335.
Peirce’s triadic model
336.
Peirce's model
337.
photodiode model
338.
PLM maturity model
339.
plume model
340.
POM model
341.
population balance model
342.
Porter’s diamond model
343.
power loss model
344.
power market model
345.
prediction model
346.
predictive model
347.
pre-trained model
348.
price-sensitive model of flexible equipment
349.
Princeton Ocean Model
350.
Probabilistic Graph Model (PGM)
351.
probabilistic model
352.
process model
353.
Quadruple Helix Model
354.
recurrent neural network language model
355.
reduced order model
356.
reference model
357.
reputation model
358.
residential electricity consumption model
359.
Residual Terrain Model (RTM) anomaly
360.
residual terrain model anomaly
361.
retaining research financing, changes in salary rules; new academic career model
362.
Reynolds stress turbulence model
363.
Richardson Maturity Model
364.
risk evaluation model
365.
risk evaluation model development
366.
risk management model
367.
scalar model
368.
Scott-Kennel model
369.
security model
370.
shared mental model
371.
SHEL model
372.
ship model basin
373.
simplified model
374.
simulating waves nearshore (SWAN) model
375.
simulation model
376.
simulink model
377.
single-cell model
378.
sliding model control
379.
small-signal model
380.
SOILN model
381.
specific energy model
382.
standard cost model
383.
statistical model residuals
384.
Storm Water Management Model (SWMM5)
385.
Straussian theory model
386.
structural model
387.
stuck-at fault model
388.
supply chain model framework
389.
supply chain operations reference (SCOR) model
390.
sustainability model framework
391.
SWAN model
392.
Zimbabwe agro-pastoral management model
393.
ZIP model
394.
zonal model
395.
teaching model
396.
technology acceptance model
397.
Technology Acceptance Model (TAM)
398.
tender evaluation model
399.
test model design
400.
The Baltic Sea Model Intercomparison Project (BMIP)
401.
the model of non-technical competences
402.
thermal model
403.
tobit regression model
404.
trade gravity model
405.
transnational model
406.
transport model
407.
transportation model
408.
tunnelling‐percolation model
409.
turn model
410.
two-dimensional model
411.
two-factor model
412.
Ulrich HR roles model
413.
ultralocal model (ULM) control
414.
Uppaal model-checker
415.
user behavioral model
416.
user dialogue model
417.
utility model
418.
validation of simulation model
419.
value-centric model
420.
wave model
421.
Vector Error Correction Model
422.
vector space model
423.
Wells-Riley model
424.
verification by model checking
425.
whole-cell model
426.
Viable Systems Model
427.
wind force model
428.
VRH model
429.
3D model
430.
accelerator-based architecture
431.
Active chitosan-based film
432.
activity based modelling
433.
activity-based cost estimating
434.
activity-based costing
435.
Activity-based demand generation
436.
Adaptive network-based fuzzy inference system (ANFIS)
437.
address-based sorting
438.
agent-based modeling
439.
agent-based models
440.
AI based CAD software
441.
AI-based worker management
442.
Al based hard PVD coating
443.
al-based alloy
444.
Al-based alloys
445.
Al-based composite
446.
Al-based composites
447.
algorithm-based decision
448.
aluminum based composite
449.
app-based mobile financial services
450.
archetypes and archetype patterns based development
451.
area‐based composite correlations method
452.
assertion-based verification
453.
beam-based feedback
454.
Bi and Fe-based barium titanate
455.
Bio-Based
456.
bio-based and biodegradable plastics market
457.
Bio-based film-forming solution
458.
bio-based materials
459.
bio‐based materials
460.
biogeography based optimization
461.
bioimpedance based sensing
462.
bioimpedance-based sensing
463.
bisection based optimal power allocation
464.
block-based merge
465.
borrower-based policy measures
466.
carbon based materials
467.
carbon-based materials
468.
chitosan-based film
469.
chromium carbide-based cermets
470.
clay-based ceramics
471.
climate based daylight modelling
472.
climate-based simulations
473.
cloud- and AI-based system
474.
cloud-based cyber-physical systems (C2PS)
475.
commons based peer production
476.
commons-based innovation
477.
commons-based peer production (CBPP)
478.
Community-based research
479.
comparison-based
480.
competence based learning
481.
competence-based education
482.
competence-based learning
483.
competency based learning
484.
competency-based approach
485.
component-based design
486.
computer based learning
487.
consumption-based GHG accounting
488.
content-based recommender
489.
contract-based design
490.
copper-based wood preservatives
491.
Cr3C2-based cermet
492.
Cu-based alloy
493.
Cu-based alloys
494.
customer-based brand equity
495.
droplet-based technology
496.
ecosystem-based management
497.
environmentally friendly wood-based panels
498.
event-based control
499.
evidence-based decision making
500.
evidence-based decision-making
501.
feature based machining
502.
feature-based machining
503.
Fe-based alloy
504.
Fe-based amorphous alloy
505.
Fe-based hardfacing
506.
Fenton-based treatment
507.
finitely based
508.
flatness-based control
509.
flow-based modelling
510.
flying inductor based inverter
511.
FPGA based lab kit
512.
FPGA based test
513.
FPGA-based development boards
514.
FPGA-based prototyping
515.
fragment-based QSAR
516.
game based learning
517.
game-based learning
518.
gelatin-based phantom
519.
graph-based algorithms
520.
graph-based ranking
521.
graphene-based aerogel
522.
GraphSAGE (Graph Based Neural Network)
523.
health-based ventilation
524.
Human-brand based marketing
525.
ICT-based service solutions for senior citizens
526.
image-based
527.
infection risk-based ventilation
528.
institution-based view
529.
internet-based cognitive behavioural theraphy
530.
Internet-based voting
531.
ionic-liquid-based surfactants
532.
IoT-based monitoring
533.
Kalman-filter based maximum power point tracking (KF-MPPT)
534.
knowledge based economy
535.
knowledge based manufacturing
536.
knowledge-based design
537.
knowledge-based economy
538.
knowledge-based manufacturing
539.
knowledge-based system
540.
laser-based additive manufacturing
541.
Laser-based powder bed fusion
542.
lattice-based cryptography
543.
layout-based effects
544.
lime-based plasters
545.
location-based social networks
546.
logic-based distributed routing
547.
LUT-based obfuscation
548.
manganese dioxide based filter material
549.
map-based localization
550.
market-based coordination
551.
market-based innovation
552.
market-based subsidy
553.
metallic-based material
554.
Mg–Ag-based alloy
555.
microbiome-based solutions
556.
nature-based composite
557.
NB-IoT-based edge-ofthings
558.
NetFlow based network monitoring
559.
Ni-based alloy
560.
Ni-based catalyst
561.
Ni-based superalloy
562.
nickel-based superalloys
563.
nikel-based self-fluxing alloy
564.
non-market-based stringency
565.
NPC-based inverter
566.
ontology-based software engineering
567.
open source-based innovation
568.
partial power based on buck-boost resonance converter
569.
partial power based on isolated Z - Source converter(PPZSC)
570.
passivity-based control (PBC)
571.
performance-based design
572.
physically based fire
573.
physically based fires
574.
physics-based compressive sensing
575.
place-based policy
576.
plant-based
577.
plant-based beverage
578.
plant-based foods
579.
plant-based meat analogues
580.
plant-based NADES
581.
plant-based protein
582.
policy-based routing security
583.
pollen-based reconstructions
584.
population-based study
585.
power based control
586.
power-to-gas based storage system
587.
price based control
588.
price based control of industrial processes
589.
priority-based charging and discharging
590.
priority-based-offloading
591.
problem-based learning
592.
Problem-based learning (PBL)
593.
project-based learning
594.
qZS-based DC/DC converter
595.
query-based search
596.
rapeseed oil-based wood preservatives
597.
research-based education
598.
ripple-based control
599.
room unit based ventilation
600.
room-based ventilation
601.
room-based ventilation units
602.
rtioco-based timed test sequences
603.
rule-based algorithm
604.
rule-based classification
605.
rule-based control
606.
rule-based reasoning
607.
rules-based systems
608.
sampling based motion planning
609.
SAT-based attack
610.
scan-based stress
611.
scenario-based experiment
612.
science-based industries
613.
SDN-based IoT management frameworks
614.
session-based recommendation
615.
simulation based static optimization
616.
simulation based TMY
617.
simulationbased decision support
618.
simulation-based verification
619.
software based self-test
620.
software-based self-test
621.
software-based self-test (SBST)
622.
solution based synthesis
623.
solution‐based deposition
624.
space-based solar power
625.
standards-based classfication system
626.
status-based participation
627.
steel-based hardfacing
628.
subscription based interactions
629.
zirconia-based ceramics
630.
ZrC Based Ceramics
631.
ZrC-based composites
632.
task based learning
633.
template based sql generation
634.
Ti(C,N)-Fe-based cermets
635.
Ti(C,N)–Fe-based cermets
636.
TiB-based composite
637.
TiC- 430 L fss-based cermets
638.
TiC based cermets
639.
TiC-based cermet
640.
TiC-based cermets
641.
time-driven activity-based costing
642.
time-driven activity-based costing, TDABC
643.
titanium carbide-based cermets
644.
User-based study
645.
water-based cleaning approaches
646.
water-based paint wastewater
647.
Web and computer-based learning
648.
web-based applications
649.
web-based teaching
650.
web-based training
651.
weight-based collection
652.
weighted score-based ranking
653.
work-based learning
654.
work-based project
subject term
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
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