Searching - TalTech Research Portal

model-checking (keyword)

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

author

TalTech department

subject term

series

name of the person

keyword

Clear

export all inquiry results (3)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

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

book article
2

book article EST / book article 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

book article EST / book article ENG
3

journal article EST / journal article 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

journal article EST / journal article ENG

Number of records 3, displaying 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 calibration
239. model communities
240. model comparison
241. model compression
242. model construction
243. model description
244. model designer
245. Model Driven Architecture
246. model driven development
247. model driven engineering
248. model ensemble
249. model evaluation
250. model free
251. model identification
252. model interpretability
253. model learning
254. model matching problem
255. model of fracture mechanism
256. model of fracturemechanism
257. model of friction
258. model of non-technical engineering competences
259. model order estimation
260. model order reduction
261. model order reduction (MOR)
262. model predictive control
263. model predictive control (MPC)
264. model predictive controllers (MPC)
265. model reanalysis
266. model reduction
267. model reference adaptive control
268. model reference controller
269. model refinement
270. model smell
271. Model test
272. model transformation
273. model transformations
274. Model validation
275. model verification
276. model-based control
277. model-based development
278. Model-Based Engineering (MBE)
279. model-based mutation testing
280. model-based navigation
281. model-based patterns
282. model-based software development
283. Model-Based Systems Engineering (MBSE)
284. model-based testing
285. model-based verification
286. model-driven architecture
287. model-driven design
288. model-driven development
289. model-driven software engineering
290. model-free control
291. model-free methods
292. model-scale experiments
293. modified winding function‐based model
294. modulated finite control set-model predictive control
295. mouse model
296. multi model ensemble (MME)
297. multiagent-based microscopic traffic assignment model (MMTAM)
298. multidomain language model
299. multi-loop model reference control
300. multi-model ensemble
301. multiplicative neuron model
302. multi-pole mathematical model
303. multi-pole model
304. multi-pole model design
305. natural background model
306. neural additive model
307. New Keynesian model
308. Neyman-Pearson model
309. NKG2015 geoid model
310. NN-ANARX model
311. nonlinear model identification
312. nonlinear model predictive control
313. nonlinear time-varying factor model
314. non-thermal model
315. Nonthermal model
316. NSPT model
317. numerical model
318. object model
319. ocean-sea-ice model
320. open architecture model
321. open-economy dynamic general equilibrium model
322. openEHR RM (Reference Model)
323. optimal model
324. Overlapping generations model
325. panel threshold model
326. panel vector autoregressive model (VAR)
327. parallel reaction model
328. path loss model
329. pedagogical design model
330. Peirce’s triadic model
331. Peirce's model
332. photodiode model
333. PLM maturity model
334. plume model
335. POM model
336. population balance model
337. Porter’s diamond model
338. power loss model
339. power market model
340. prediction model
341. predictive model
342. pre-trained model
343. price-sensitive model of flexible equipment
344. Princeton Ocean Model
345. Probabilistic Graph Model (PGM)
346. probabilistic model
347. process model
348. projection model
349. Quadruple Helix Model
350. quarter car model
351. rabbit model
352. Random Parameter Linear Regression Model (RPLRM)
353. recurrent neural network language model
354. reduced order model
355. reference model
356. regression based model
357. regulatory model
358. reputation model
359. residential electricity consumption model
360. Residual Terrain Model (RTM) anomaly
361. residual terrain model anomaly
362. retaining research financing, changes in salary rules; new academic career model
363. REVEALS model
364. reversed hazard rate model
365. Reynolds stress turbulence model
366. Richardson Maturity Model
367. ripening model
368. risk evaluation model
369. risk evaluation model development
370. risk management model
371. sanitary sewer model
372. scalar model
373. Scott-Kennel model
374. security model
375. shared mental model
376. SHEL model
377. ship model basin
378. simplified model
379. simulating waves nearshore (SWAN) model
380. simulation model
381. simulink model
382. Simultaneous model-based optimization
383. single-cell model
384. sliding model control
385. small-signal model
386. SOILN model
387. specific energy model
388. standard cost model
389. statistical model residuals
390. Storm Water Management Model (SWMM5)
391. Straussian theory model
392. structural model
393. stuck-at fault model
394. subtractive color model
395. supply chain model framework
396. supply chain operations reference (SCOR) model
397. surrogate model
398. sustainability model framework
399. sustainable business model
400. SWAN model
401. Zimbabwe agro-pastoral management model
402. ZIP model
403. zonal model
404. teaching model
405. technology acceptance model
406. Technology Acceptance Model (TAM)
407. tender evaluation model
408. test model design
409. The Baltic Sea Model Intercomparison Project (BMIP)
410. the model of non-technical competences
411. thermal model
412. tobit regression model
413. trade gravity model
414. transnational model
415. transport model
416. transportation model
417. travel time model
418. tunnelling‐percolation model
419. turn model
420. two-dimensional model
421. two-factor model
422. typical user model
423. Ulrich HR roles model
424. ultra-local model
425. ultralocal model (ULM) control
426. Uppaal model-checker
427. user behavioral model
428. user dialogue model
429. utility model
430. validation of simulation model
431. value-centric model
432. wave model
433. Vector Error Correction Model
434. vector space model
435. Wells-Riley model
436. whole-cell model
437. Viable Systems Model
438. wind force model
439. VRH model
440. 3D model

model-checking (keyword)

types of item

keyword 440

subject term 2