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