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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 438

märksõna 2