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/384)
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 EST
/
artikkel ajakirjas ENG
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
https://doi.org/10.1016/j.micpro.2015.12.006
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
382
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 load model
85.
dynamic model
86.
Dynamical vegetation model
87.
Ecological Regional Ocean Model (ERGOM)
88.
economic model
89.
Economic optimization model
90.
EES model
91.
EES Model-2
92.
elaboration likelihood model
93.
electricity demand model
94.
Electronic Education System Model-2
95.
empirical energy consumption model
96.
empirical model
97.
end member mixing model
98.
endogenous growth model
99.
energy system model
100.
enzyme-constrained genome-scale model
101.
enterprise analysis model (EAM)
102.
entrepreneurial intention transformation model “EITM”
103.
equivalent circuit model
104.
Eringen model
105.
Estonian sustainability model
106.
Eulerian model
107.
European Charring Model
108.
EV load model
109.
Event Processing Network Model
110.
experience pyramid model
111.
Experimental model
112.
explainable AI model
113.
exponential load model
114.
exponential model
115.
fault analysis model
116.
Felder-Silverman model
117.
FEM-model
118.
field tests model validation
119.
finite control set-model predictive control (FCS-MPC)
120.
finite element model
121.
finite-element (FE) model
122.
finite-element model
123.
fire design model
124.
fixed country-effect model
125.
FOPDT model
126.
friction model
127.
functional fault model
128.
fuzzy logic model
129.
gaussian mixture model
130.
Gaussian model
131.
genome model
132.
Genome-scale metabolic model
133.
geoid model
134.
GIS model
135.
Global climate model
136.
goal model
137.
gravity model
138.
grey box model
139.
GTAP model
140.
GUI model
141.
habitat model
142.
habitat suitability model
143.
Hammerstein-Wiener model
144.
HBM model
145.
Hidden Markov Model (HMM)
146.
high-frequency model
147.
high-level control fault model
148.
high-level fault model
149.
high-level functional fault model
150.
HIROMB-BOOS-Model (HBM)
151.
HL7 Version 3: Reference Information Model (RIM)
152.
holistic M&A model
153.
holistic merger and acquisition model
154.
hot/cold pressing and finite element model simulation
155.
hydraulic model
156.
hydraulic network model
157.
hydrodynamic model
158.
Ice history model
159.
inductive model
160.
information model
161.
information model-based urban planning
162.
infringer model
163.
input-output model
164.
integrated quadruple instructional model
165.
integrated waste management model
166.
integrative pedagogy model
167.
interpretive structural model (ISM)
168.
Jiles–Atherton (JA) model
169.
joint model
170.
Kano model
171.
KPI selection model
172.
KPIs selection model
173.
laboratory domain model
174.
Lagrangian model
175.
linear Delta robots neural network based model
176.
local model
177.
logistic model
178.
logistics competence model
179.
loss model
180.
LSV model
181.
lumped model
182.
lumped-parameter model
183.
Machine Learning Explainable model
184.
machine-learning predictive model
185.
MACRO model
186.
Markov-switching model
187.
mathematical model
188.
maturity model
189.
measurement model
190.
mental model
191.
metadata model for security measures
192.
meta-model
193.
MGARCH model
194.
micromechanical model
195.
microscopic traffic flow model
196.
Mindlin model
197.
model
198.
model amphipathic peptide
199.
model averaging
200.
model based testing
201.
model building
202.
model calibration
203.
model communities
204.
model comparison
205.
model compression
206.
model construction
207.
model description
208.
Model Driven Architecture
209.
model driven engineering
210.
model ensemble
211.
model evaluation
212.
model identification
213.
model learning
214.
model matching problem
215.
model of fracture mechanism
216.
model of fracturemechanism
217.
model of friction
218.
model of non-technical engineering competences
219.
model order estimation
220.
model order reduction
221.
model order reduction (MOR)
222.
model predictive control
223.
model predictive control (MPC)
224.
model reanalysis
225.
model reduction
226.
model reference adaptive control
227.
model reference controller
228.
model refinement
229.
model smell
230.
Model test
231.
model transformation
232.
model transformations
233.
Model validation
234.
model verification
235.
model-based control
236.
model-based development
237.
Model-Based Engineering (MBE)
238.
model-based mutation testing
239.
model-based patterns
240.
model-based software development
241.
Model-Based Systems Engineering (MBSE)
242.
model-based testing
243.
model-based verification
244.
model-driven design
245.
model-driven development
246.
model-free control
247.
model-free methods
248.
model-scale experiments
249.
modified winding function‐based model
250.
modulated finite control set-model predictive control
251.
multi model ensemble (MME)
252.
multiagent-based microscopic traffic assignment model (MMTAM)
253.
multidomain language model
254.
multi-loop model reference control
255.
multiplicative neuron model
256.
multi-pole mathematical model
257.
multi-pole model
258.
multi-pole model design
259.
natural background model
260.
Neyman-Pearson model
261.
NKG2015 geoid model
262.
NN-ANARX model
263.
nonlinear model identification
264.
nonlinear model predictive control
265.
nonlinear time-varying factor model
266.
non-thermal model
267.
Nonthermal model
268.
NSPT model
269.
numerical model
270.
object model
271.
ocean-sea-ice model
272.
open architecture model
273.
open-economy dynamic general equilibrium model
274.
openEHR RM (Reference Model)
275.
optimal model
276.
panel threshold model
277.
panel vector autoregressive model (VAR)
278.
parallel reaction model
279.
path loss model
280.
Peirce’s triadic model
281.
Peirce's model
282.
photodiode model
283.
PLM maturity model
284.
plume model
285.
POM model
286.
population balance model
287.
Porter’s diamond model
288.
power loss model
289.
power market model
290.
prediction model
291.
predictive model
292.
pre-trained model
293.
price-sensitive model of flexible equipment
294.
Princeton Ocean Model
295.
Probabilistic Graph Model (PGM)
296.
probabilistic model
297.
process model
298.
Quadruple Helix Model
299.
recurrent neural network language model
300.
reduced order model
301.
reference model
302.
regression based model
303.
regulatory model
304.
reputation model
305.
residential electricity consumption model
306.
Residual Terrain Model (RTM) anomaly
307.
residual terrain model anomaly
308.
retaining research financing, changes in salary rules; new academic career model
309.
REVEALS model
310.
Reynolds stress turbulence model
311.
Richardson Maturity Model
312.
ripening model
313.
risk evaluation model
314.
risk evaluation model development
315.
risk management model
316.
scalar model
317.
Scott-Kennel model
318.
security model
319.
shared mental model
320.
SHEL model
321.
ship model basin
322.
simplified model
323.
simulating waves nearshore (SWAN) model
324.
simulation model
325.
simulink model
326.
Simultaneous model-based optimization
327.
single-cell model
328.
sliding model control
329.
small-signal model
330.
SOILN model
331.
specific energy model
332.
standard cost model
333.
statistical model residuals
334.
Storm Water Management Model (SWMM5)
335.
Straussian theory model
336.
structural model
337.
stuck-at fault model
338.
supply chain model framework
339.
supply chain operations reference (SCOR) model
340.
surrogate model
341.
sustainability model framework
342.
sustainable business model
343.
SWAN model
344.
Zimbabwe agro-pastoral management model
345.
ZIP model
346.
zonal model
347.
teaching model
348.
technology acceptance model
349.
Technology Acceptance Model (TAM)
350.
tender evaluation model
351.
test model design
352.
The Baltic Sea Model Intercomparison Project (BMIP)
353.
the model of non-technical competences
354.
thermal model
355.
tobit regression model
356.
trade gravity model
357.
transnational model
358.
transport model
359.
transportation model
360.
tunnelling‐percolation model
361.
turn model
362.
two-dimensional model
363.
two-factor model
364.
typical user model
365.
Ulrich HR roles model
366.
ultra-local model
367.
ultralocal model (ULM) control
368.
Uppaal model-checker
369.
user behavioral model
370.
user dialogue model
371.
utility model
372.
validation of simulation model
373.
value-centric model
374.
wave model
375.
Vector Error Correction Model
376.
vector space model
377.
Wells-Riley model
378.
whole-cell model
379.
Viable Systems Model
380.
wind force model
381.
VRH model
382.
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