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