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. Ice history model
185. inductive model
186. information model
187. information model-based urban planning
188. infringer model
189. initial data model
190. input-output model
191. Integrated care model
192. integrated quadruple instructional model
193. integrated waste management model
194. integrative pedagogy model
195. interpretive structural model (ISM)
196. iron losses 3D model
197. Jiles–Atherton (JA) model
198. Johnson–Cook failure model
199. joint model
200. Kano model
201. KPI selection model
202. KPIs selection model
203. laboratory domain model
204. Lagrangian model
205. Land Administration Domain Model (LADM)
206. large language model (LLM)
207. linear Delta robots neural network based model
208. local interpretable model-agnostic explanations (LIME)
209. local model
210. logistic model
211. logistic regression model
212. logistics competence model
213. loss model
214. LSV model
215. lumped model
216. lumped parameter model
217. lumped-parameter model
218. Luxemburg model
219. Machine Learning Explainable model
220. machine-learning predictive model
221. MACRO model
222. Markov model
223. Markov-switching model
224. mathematical model
225. maturity model
226. measurement model
227. mental model
228. meta model
229. metadata model for security measures
230. meta-model
231. MGARCH model
232. micromechanical model
233. microscopic traffic flow model
234. Mindlin model
235. model
236. model amphipathic peptide
237. model averaging
238. model based
239. model based testing
240. model building
241. model building and simulation
242. model calibration
243. model communities
244. model comparison
245. model compression
246. model construction
247. model description
248. model designer
249. Model Driven Architecture
250. model driven development
251. model driven engineering
252. model ensemble
253. model evaluation
254. model free
255. model identification
256. model interpretability
257. model learning
258. model matching problem
259. model of fracture mechanism
260. model of fracturemechanism
261. model of friction
262. model of goal-directed behaviour
263. model of non-technical engineering competences
264. model order estimation
265. model order reduction
266. model order reduction (MOR)
267. model predictive control
268. model predictive control (MPC)
269. model predictive controllers (MPC)
270. model reanalysis
271. model reduction
272. model reference adaptive control
273. model reference controller
274. model refinement
275. model smell
276. Model test
277. model transformation
278. model transformations
279. Model validation
280. model verification
281. model-based control
282. model-based design
283. model-based development
284. Model-Based Engineering (MBE)
285. model-based mutation testing
286. model-based navigation
287. model-based patterns
288. model-based software development
289. Model-Based Systems Engineering (MBSE)
290. model-based testing
291. model-based verification
292. model-driven architecture
293. model-driven design
294. model-driven development
295. model-driven software engineering
296. model-free control
297. model-free methods
298. model-scale experiments
299. modified winding function‐based model
300. modulated finite control set-model predictive control
301. mouse model
302. multi model ensemble (MME)
303. multiagent-based microscopic traffic assignment model (MMTAM)
304. multidomain language model
305. multi-loop model reference control
306. multi-model ensemble
307. multiplicative neuron model
308. multi-pole mathematical model
309. multi-pole model
310. multi-pole model design
311. natural background model
312. neural additive model
313. New Keynesian model
314. Neyman-Pearson model
315. NKG2015 geoid model
316. NN-ANARX model
317. nonlinear model identification
318. nonlinear model predictive control
319. nonlinear time-varying factor model
320. non-thermal model
321. Nonthermal model
322. NSPT model
323. numerical model
324. object model
325. ocean-sea-ice model
326. open architecture model
327. open-economy dynamic general equilibrium model
328. openEHR RM (Reference Model)
329. optimal model
330. Overlapping generations model
331. panel threshold model
332. panel vector autoregressive model (VAR)
333. parallel reaction model
334. path loss model
335. pedagogical design model
336. Peirce’s triadic model
337. Peirce's model
338. photodiode model
339. PLM maturity model
340. plume model
341. POM model
342. population balance model
343. Porter’s diamond model
344. power loss model
345. power market model
346. prediction model
347. predictive model
348. pre-trained model
349. price-sensitive model of flexible equipment
350. Princeton Ocean Model
351. Probabilistic Graph Model (PGM)
352. probabilistic model
353. process model
354. projection model
355. Quadruple Helix Model
356. quarter car model
357. rabbit model
358. Random Parameter Linear Regression Model (RPLRM)
359. recurrent neural network language model
360. reduced order model
361. reference model
362. regression based model
363. regulatory model
364. reputation model
365. residential electricity consumption model
366. Residual Terrain Model (RTM) anomaly
367. residual terrain model anomaly
368. retaining research financing, changes in salary rules; new academic career model
369. REVEALS model
370. reversed hazard rate model
371. Reynolds stress turbulence model
372. Richardson Maturity Model
373. Riedel shear model
374. ripening model
375. risk evaluation model
376. risk evaluation model development
377. risk management model
378. sanitary sewer model
379. scalar model
380. Scott-Kennel model
381. security model
382. shared mental model
383. SHEL model
384. ship model basin
385. simplified model
386. simulating waves nearshore (SWAN) model
387. simulation model
388. simulink model
389. Simultaneous model-based optimization
390. single-cell model
391. sliding model control
392. small-signal model
393. SOILN model
394. specific energy model
395. standard cost model
396. statistical model residuals
397. Storm Water Management Model (SWMM5)
398. Straussian theory model
399. structural model
400. stuck-at fault model
401. subtractive color model
402. supply chain model framework
403. supply chain operations reference (SCOR) model
404. surrogate model
405. sustainability model framework
406. sustainable business model
407. SWAN model
408. Zimbabwe agro-pastoral management model
409. ZIP model
410. zonal model
411. teaching model
412. technology acceptance model
413. Technology Acceptance Model (TAM)
414. tender evaluation model
415. test model design
416. The Baltic Sea Model Intercomparison Project (BMIP)
417. the model of non-technical competences
418. thermal model
419. tobit regression model
420. trade gravity model
421. transnational model
422. transport model
423. transportation model
424. travel time model
425. tunnelling‐percolation model
426. turn model
427. two-dimensional model
428. two-factor model
429. typical user model
430. Ulrich HR roles model
431. ultra-local model
432. ultralocal model (ULM) control
433. Uppaal model-checker
434. user behavioral model
435. user dialogue model
436. utility model
437. validation of simulation model
438. value-centric model
439. wave model
440. Vector Error Correction Model
441. vector space model
442. Wells-Riley model
443. whole-cell model
444. Viable Systems Model
445. wind force model
446. VRH model
447. 3D model

model-checking (võtmesõna)

teaviku laadid

võtmesõna 447

märksõna 2