Searching - TalTech Research Portal

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

model-checking (keyword)

types of item

keyword 412

subject term 2