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