Otsing - TalTech teadusportaal

model-checking (võtmesõna)

—

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

ekspordi kõik päringu tulemused (3)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 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 modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / 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 modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / 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

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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 449

märksõna 2