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

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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 437

märksõna 2