Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
model-checking (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(2/408)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Multi-view modeling for MPSoC design aspects [Online resource]
Vain, Jüri
;
Apneet Kaur
;
Tsiopoulos, Leonidas
;
Raik, Jaan
;
Jenihhin, Maksim
BEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 2018
2018
/
4 p.: ill
https://doi.org/10.1109/BEC.2018.8600986
artikkel kogumikus
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
406
1.
model-checking
2.
model checking
3.
verification by model checking
4.
concurrent online checking
5.
cross-checking
6.
misconfiguration checking
7.
self-checking
8.
acoustic model
9.
adjusted DuPont model
10.
agent-based model
11.
Allen-Cahn Chan-Vese model
12.
analysis model
13.
analytical lumped parameter model
14.
analytical model
15.
analytical thermal model approach
16.
APARHC model
17.
APICS competence model
18.
armature current model
19.
as-built model
20.
asymmetric model
21.
attack model
22.
automatic GUI model generation
23.
automatic model creation
24.
Bass model
25.
Bayesian model averaging
26.
Bertotti model
27.
beyond standard model
28.
bicycle model
29.
blockiotintelligence architectural model
30.
business model
31.
business model archetypes
32.
business model attributes
33.
business model canvas
34.
business model classification
35.
business model generation
36.
business model innovation
37.
Business Model Innovation (BMI)
38.
business model reconfiguration
39.
business model research
40.
business network model
41.
Caco2 model cells
42.
Capability Maturity Model Integration for Development
43.
cartesian system model
44.
CERC model
45.
chain model
46.
channel model
47.
charging planning model
48.
Coalitional game model
49.
communication model
50.
compact empirical model
51.
compact model
52.
company analyze model
53.
competence model
54.
competency model
55.
Comprehensive Situation Awareness Model
56.
conceptual data model
57.
conceptual model
58.
conceptual model of curriculum for accounting specialization
59.
condenser model
60.
constitutive model
61.
Context model
62.
corrosion model
63.
country analysis model
64.
coupled coils model
65.
crop model
66.
data generative model
67.
data quality maturity model
68.
decentralized model predictive control
69.
deep learning model
70.
deep learning model quantization
71.
default company model
72.
design model
73.
design-driven business model
74.
designing a teaching model
75.
detailed model
76.
didactic model
77.
digital elevation model
78.
digital surface model (DSM)
79.
disease model
80.
distributed activation energy model
81.
distributed parameter model
82.
distributed parameter model of metastructures
83.
Dodd–Deeds model
84.
domain model
85.
domain model and domain modelling
86.
double diamond model
87.
dq0 model
88.
DSGE model
89.
DSL meta-model ontology
90.
Ducoffe’s advertisement value model
91.
Ducoffe’s advertising model
92.
dynamic factor model
93.
dynamic load model
94.
dynamic model
95.
Dynamical vegetation model
96.
Ecological Regional Ocean Model (ERGOM)
97.
economic model
98.
Economic optimization model
99.
EES model
100.
EES Model-2
101.
elaboration likelihood model
102.
electricity demand model
103.
Electronic Education System Model-2
104.
empirical energy consumption model
105.
empirical model
106.
end member mixing model
107.
endogenous growth model
108.
energy system model
109.
enzyme-constrained genome-scale model
110.
enterprise analysis model (EAM)
111.
entrepreneurial intention transformation model “EITM”
112.
equivalent circuit model
113.
Eringen model
114.
Estonian sustainability model
115.
Eulerian model
116.
European Charring Model
117.
EV load model
118.
Event Processing Network Model
119.
experience pyramid model
120.
Experimental model
121.
explainable AI model
122.
exponential load model
123.
exponential model
124.
fault analysis model
125.
Felder-Silverman model
126.
FEM-model
127.
field tests model validation
128.
finite control set-model predictive control (FCS-MPC)
129.
finite element model
130.
finite-element (FE) model
131.
finite-element model
132.
fire design model
133.
fixed country-effect model
134.
FOPDT model
135.
friction model
136.
functional fault model
137.
fuzzy logic model
138.
gaussian mixture model
139.
Gaussian model
140.
General Estuarine Transport Model (GETM)
141.
genome model
142.
Genome-scale metabolic model
143.
geoid model
144.
GIS model
145.
Global climate model
146.
goal model
147.
gravity model
148.
grey box model
149.
GTAP model
150.
GUI model
151.
habitat model
152.
habitat suitability model
153.
Hammerstein-Wiener model
154.
HBM model
155.
Hidden Markov Model (HMM)
156.
high-frequency model
157.
high-level control fault model
158.
high-level fault model
159.
high-level functional fault model
160.
HIROMB-BOOS-Model (HBM)
161.
HL7 Version 3: Reference Information Model (RIM)
162.
holistic M&A model
163.
holistic merger and acquisition model
164.
hot/cold pressing and finite element model simulation
165.
hydraulic model
166.
hydraulic network model
167.
hydrodynamic model
168.
Ice history model
169.
inductive model
170.
information model
171.
information model-based urban planning
172.
infringer model
173.
input-output model
174.
integrated quadruple instructional model
175.
integrated waste management model
176.
integrative pedagogy model
177.
interpretive structural model (ISM)
178.
iron losses 3D model
179.
Jiles–Atherton (JA) model
180.
joint model
181.
Kano model
182.
KPI selection model
183.
KPIs selection model
184.
laboratory domain model
185.
Lagrangian model
186.
linear Delta robots neural network based model
187.
local interpretable model-agnostic explanations (LIME)
188.
local model
189.
logistic model
190.
logistics competence model
191.
loss model
192.
LSV model
193.
lumped model
194.
lumped parameter model
195.
lumped-parameter model
196.
Machine Learning Explainable model
197.
machine-learning predictive model
198.
MACRO model
199.
Markov-switching model
200.
mathematical model
201.
maturity model
202.
measurement model
203.
mental model
204.
metadata model for security measures
205.
meta-model
206.
MGARCH model
207.
micromechanical model
208.
microscopic traffic flow model
209.
Mindlin model
210.
model
211.
model amphipathic peptide
212.
model averaging
213.
model based
214.
model based testing
215.
model building
216.
model calibration
217.
model communities
218.
model comparison
219.
model compression
220.
model construction
221.
model description
222.
model designer
223.
Model Driven Architecture
224.
model driven engineering
225.
model ensemble
226.
model evaluation
227.
model free
228.
model identification
229.
model learning
230.
model matching problem
231.
model of fracture mechanism
232.
model of fracturemechanism
233.
model of friction
234.
model of non-technical engineering competences
235.
model order estimation
236.
model order reduction
237.
model order reduction (MOR)
238.
model predictive control
239.
model predictive control (MPC)
240.
model reanalysis
241.
model reduction
242.
model reference adaptive control
243.
model reference controller
244.
model refinement
245.
model smell
246.
Model test
247.
model transformation
248.
model transformations
249.
Model validation
250.
model verification
251.
model-based control
252.
model-based development
253.
Model-Based Engineering (MBE)
254.
model-based mutation testing
255.
model-based navigation
256.
model-based patterns
257.
model-based software development
258.
Model-Based Systems Engineering (MBSE)
259.
model-based testing
260.
model-based verification
261.
model-driven design
262.
model-driven development
263.
model-driven software engineering
264.
model-free control
265.
model-free methods
266.
model-scale experiments
267.
modified winding function‐based model
268.
modulated finite control set-model predictive control
269.
multi model ensemble (MME)
270.
multiagent-based microscopic traffic assignment model (MMTAM)
271.
multidomain language model
272.
multi-loop model reference control
273.
multi-model ensemble
274.
multiplicative neuron model
275.
multi-pole mathematical model
276.
multi-pole model
277.
multi-pole model design
278.
natural background model
279.
neural additive model
280.
Neyman-Pearson model
281.
NKG2015 geoid model
282.
NN-ANARX model
283.
nonlinear model identification
284.
nonlinear model predictive control
285.
nonlinear time-varying factor model
286.
non-thermal model
287.
Nonthermal model
288.
NSPT model
289.
numerical model
290.
object model
291.
ocean-sea-ice model
292.
open architecture model
293.
open-economy dynamic general equilibrium model
294.
openEHR RM (Reference Model)
295.
optimal model
296.
panel threshold model
297.
panel vector autoregressive model (VAR)
298.
parallel reaction model
299.
path loss model
300.
Peirce’s triadic model
301.
Peirce's model
302.
photodiode model
303.
PLM maturity model
304.
plume model
305.
POM model
306.
population balance model
307.
Porter’s diamond model
308.
power loss model
309.
power market model
310.
prediction model
311.
predictive model
312.
pre-trained model
313.
price-sensitive model of flexible equipment
314.
Princeton Ocean Model
315.
Probabilistic Graph Model (PGM)
316.
probabilistic model
317.
process model
318.
projection model
319.
Quadruple Helix Model
320.
Random Parameter Linear Regression Model (RPLRM)
321.
recurrent neural network language model
322.
reduced order model
323.
reference model
324.
regression based model
325.
regulatory model
326.
reputation model
327.
residential electricity consumption model
328.
Residual Terrain Model (RTM) anomaly
329.
residual terrain model anomaly
330.
retaining research financing, changes in salary rules; new academic career model
331.
REVEALS model
332.
Reynolds stress turbulence model
333.
Richardson Maturity Model
334.
ripening model
335.
risk evaluation model
336.
risk evaluation model development
337.
risk management model
338.
sanitary sewer model
339.
scalar model
340.
Scott-Kennel model
341.
security model
342.
shared mental model
343.
SHEL model
344.
ship model basin
345.
simplified model
346.
simulating waves nearshore (SWAN) model
347.
simulation model
348.
simulink model
349.
Simultaneous model-based optimization
350.
single-cell model
351.
sliding model control
352.
small-signal model
353.
SOILN model
354.
specific energy model
355.
standard cost model
356.
statistical model residuals
357.
Storm Water Management Model (SWMM5)
358.
Straussian theory model
359.
structural model
360.
stuck-at fault model
361.
supply chain model framework
362.
supply chain operations reference (SCOR) model
363.
surrogate model
364.
sustainability model framework
365.
sustainable business model
366.
SWAN model
367.
Zimbabwe agro-pastoral management model
368.
ZIP model
369.
zonal model
370.
teaching model
371.
technology acceptance model
372.
Technology Acceptance Model (TAM)
373.
tender evaluation model
374.
test model design
375.
The Baltic Sea Model Intercomparison Project (BMIP)
376.
the model of non-technical competences
377.
thermal model
378.
tobit regression model
379.
trade gravity model
380.
transnational model
381.
transport model
382.
transportation model
383.
travel time model
384.
tunnelling‐percolation model
385.
turn model
386.
two-dimensional model
387.
two-factor model
388.
typical user model
389.
Ulrich HR roles model
390.
ultra-local model
391.
ultralocal model (ULM) control
392.
Uppaal model-checker
393.
user behavioral model
394.
user dialogue model
395.
utility model
396.
validation of simulation model
397.
value-centric model
398.
wave model
399.
Vector Error Correction Model
400.
vector space model
401.
Wells-Riley model
402.
whole-cell model
403.
Viable Systems Model
404.
wind force model
405.
VRH model
406.
3D model
märksõna
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT