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/375)
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
373
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.
logistic model
175.
logistics competence model
176.
loss model
177.
LSV model
178.
lumped model
179.
lumped-parameter model
180.
Machine Learning Explainable model
181.
machine-learning predictive model
182.
MACRO model
183.
Markov-switching model
184.
mathematical model
185.
maturity model
186.
measurement model
187.
mental model
188.
metadata model for security measures
189.
meta-model
190.
MGARCH model
191.
microscopic traffic flow model
192.
model
193.
model amphipathic peptide
194.
model averaging
195.
model based testing
196.
model building
197.
model calibration
198.
model communities
199.
model compression
200.
model construction
201.
model description
202.
Model Driven Architecture
203.
model driven engineering
204.
model ensemble
205.
model evaluation
206.
model identification
207.
model learning
208.
model matching problem
209.
model of fracture mechanism
210.
model of fracturemechanism
211.
model of friction
212.
model of non-technical engineering competences
213.
model order estimation
214.
model order reduction
215.
model order reduction (MOR)
216.
model predictive control
217.
model predictive control (MPC)
218.
model reanalysis
219.
model reduction
220.
model reference adaptive control
221.
model reference controller
222.
model refinement
223.
model smell
224.
Model test
225.
model transformation
226.
model transformations
227.
Model validation
228.
model verification
229.
model-based control
230.
model-based development
231.
Model-Based Engineering (MBE)
232.
model-based mutation testing
233.
model-based patterns
234.
model-based software development
235.
Model-Based Systems Engineering (MBSE)
236.
model-based testing
237.
model-based verification
238.
model-driven design
239.
model-driven development
240.
model-free control
241.
model-free methods
242.
model-scale experiments
243.
modified winding function‐based model
244.
modulated finite control set-model predictive control
245.
multi model ensemble (MME)
246.
multiagent-based microscopic traffic assignment model (MMTAM)
247.
multidomain language model
248.
multi-loop model reference control
249.
multiplicative neuron model
250.
multi-pole mathematical model
251.
multi-pole model
252.
multi-pole model design
253.
natural background model
254.
Neyman-Pearson model
255.
NKG2015 geoid model
256.
NN-ANARX model
257.
nonlinear model identification
258.
nonlinear model predictive control
259.
nonlinear time-varying factor model
260.
non-thermal model
261.
Nonthermal model
262.
NSPT model
263.
object model
264.
ocean-sea-ice model
265.
open architecture model
266.
open-economy dynamic general equilibrium model
267.
openEHR RM (Reference Model)
268.
optimal model
269.
panel threshold model
270.
panel vector autoregressive model (VAR)
271.
parallel reaction model
272.
path loss model
273.
Peirce’s triadic model
274.
Peirce's model
275.
photodiode model
276.
PLM maturity model
277.
plume model
278.
POM model
279.
population balance model
280.
Porter’s diamond model
281.
power loss model
282.
power market model
283.
prediction model
284.
predictive model
285.
pre-trained model
286.
price-sensitive model of flexible equipment
287.
Princeton Ocean Model
288.
Probabilistic Graph Model (PGM)
289.
probabilistic model
290.
process model
291.
Quadruple Helix Model
292.
recurrent neural network language model
293.
reduced order model
294.
reference model
295.
regression based model
296.
regulatory model
297.
reputation model
298.
residential electricity consumption model
299.
Residual Terrain Model (RTM) anomaly
300.
residual terrain model anomaly
301.
retaining research financing, changes in salary rules; new academic career model
302.
Reynolds stress turbulence model
303.
Richardson Maturity Model
304.
risk evaluation model
305.
risk evaluation model development
306.
risk management model
307.
scalar model
308.
Scott-Kennel model
309.
security model
310.
shared mental model
311.
SHEL model
312.
ship model basin
313.
simplified model
314.
simulating waves nearshore (SWAN) model
315.
simulation model
316.
simulink model
317.
Simultaneous model-based optimization
318.
single-cell model
319.
sliding model control
320.
small-signal model
321.
SOILN model
322.
specific energy model
323.
standard cost model
324.
statistical model residuals
325.
Storm Water Management Model (SWMM5)
326.
Straussian theory model
327.
structural model
328.
stuck-at fault model
329.
supply chain model framework
330.
supply chain operations reference (SCOR) model
331.
surrogate model
332.
sustainability model framework
333.
sustainable business model
334.
SWAN model
335.
Zimbabwe agro-pastoral management model
336.
ZIP model
337.
zonal model
338.
teaching model
339.
technology acceptance model
340.
Technology Acceptance Model (TAM)
341.
tender evaluation model
342.
test model design
343.
The Baltic Sea Model Intercomparison Project (BMIP)
344.
the model of non-technical competences
345.
thermal model
346.
tobit regression model
347.
trade gravity model
348.
transnational model
349.
transport model
350.
transportation model
351.
tunnelling‐percolation model
352.
turn model
353.
two-dimensional model
354.
two-factor model
355.
typical user model
356.
Ulrich HR roles model
357.
ultra-local model
358.
ultralocal model (ULM) control
359.
Uppaal model-checker
360.
user behavioral model
361.
user dialogue model
362.
utility model
363.
validation of simulation model
364.
value-centric model
365.
wave model
366.
Vector Error Correction Model
367.
vector space model
368.
Wells-Riley model
369.
whole-cell model
370.
Viable Systems Model
371.
wind force model
372.
VRH model
373.
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