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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 442

märksõna 2