Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
data flow languages (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
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
Kirjeid leitud
1
Vaata veel..
(3/490)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Block library driven translation validation for dataflow models in safety critical systems
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
Critical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings
2016
/
p. 117-132 : ill
https://doi.org/10.1007/978-3-319-45943-1_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
487
1.
data flow languages
2.
data flow visualization
3.
data-flow architecture
4.
atoms of regular languages
5.
Common European Framework of Reference for Languages
6.
computer programming languages
7.
context free languages
8.
context-free languages
9.
domain specific languages
10.
formal languages
11.
Indigenous languages
12.
less-resourced languages
13.
low-resource languages
14.
modeling languages
15.
object constraint languages
16.
object-oriented programming languages
17.
problem-oriented languages
18.
problem-oriented programming languages
19.
programming languages
20.
query languages
21.
regular languages
22.
semantics of programming languages
23.
textual domain specific languages
24.
under-resourced languages
25.
air flow
26.
analytical flow network analysis
27.
barotropic flow
28.
base flow
29.
base wastewater flow modelling
30.
bidirectional power flow
31.
bidirectional power flow control
32.
bioinspired flow sensing
33.
blood flow
34.
cash flow
35.
cash flow analysis
36.
channel flow
37.
compensatory flow
38.
compressible flow
39.
constant acceleration flow
40.
continuous flow reactions
41.
continuous-flow oxidation reactor
42.
dedicated flow
43.
DHW Design Flow Rate
44.
discounted cash flow techniques
45.
Distributed flow monitoring
46.
ecological flow
47.
electric load flow
48.
elongational flow
49.
energy flow
50.
Fish-friendly Fairbanks Nijhuis axial flow pump
51.
flow
52.
flow (dynamics)
53.
flow alteration
54.
flow analysis
55.
flow angle
56.
flow assessment methods
57.
flow chemistry
58.
flow compressibility
59.
flow cytometry
60.
flow direction
61.
flow discharges
62.
flow duct
63.
flow experiments
64.
flow limiter
65.
flow mass loading
66.
flow measurement
67.
flow measurements
68.
flow network analysis
69.
flow network parameters
70.
flow of the “gas–solid particles” type
71.
flow packaging materials
72.
flow patterns
73.
flow rate control
74.
flow refuges
75.
flow regime
76.
flow regulating valve
77.
flow sensing
78.
flow sheet
79.
flow simulations
80.
flow system
81.
Flow theory
82.
flow velocity
83.
flow-based modelling
84.
flow-feature extraction
85.
flow-focusing junction
86.
flow-refuge
87.
flow-regime transition
88.
flow-trough system
89.
fluid flow control
90.
fluid flow control
91.
fluid flow measurements
92.
fluid flow simulation
93.
free-surface flow
94.
gas flow
95.
gas flow dynamics
96.
gene flow
97.
geostrophic air-flow
98.
groundwater flow
99.
Heat flow
100.
imaging flow cytometry
101.
information flow control
102.
internal-flow hydraulic modelling
103.
laminar and turbulent flow
104.
lateral flow
105.
liquid metal flow
106.
Mass flow rate
107.
Material flow analysis
108.
microscopic traffic flow model
109.
mixed flow
110.
multiphase flow
111.
multi-phase flow
112.
non-isothermal turbulent flow
113.
particulate channel flow
114.
particulate flow
115.
passive flow control
116.
pipe flow
117.
plug flow plasma reactor
118.
power flow
119.
power flow equations
120.
power-flow equations
121.
project cash flow
122.
pulsatile flow
123.
relative cerebral blood flow
124.
reverse power flow
125.
segmented flow
126.
shear flow
127.
signal flow graphs
128.
start-up flow
129.
start-up pipe flow
130.
steady-state flow rheology
131.
stratified flow
132.
traffic flow
133.
traffic flow assignment
134.
transient flow
135.
transient pipe flow
136.
turbulent flow
137.
two-directional flow regulating valve
138.
two-phase flow
139.
ulsatile Flow
140.
Unified power flow controller (UPFC)
141.
unsteady flow
142.
vascular flow
143.
water flow
144.
water flow correction
145.
water flow rate
146.
flow assurance
147.
accident data
148.
adversarial data perturbation
149.
AI-based data curation
150.
AIS data
151.
AIS data format optimization
152.
Aligned data
153.
ALS data enhancements
154.
Amazon Kinesis Data Analytics
155.
application data
156.
audio and visual data
157.
big data
158.
big data analysis
159.
big data analytics
160.
big data science
161.
big geo-data
162.
borehole data
163.
building lifecycle data
164.
call data record
165.
catalogue of data sources
166.
cellular phone data
167.
clinical data capture
168.
clinical data exchange
169.
compositional data
170.
conceptual data model
171.
construction data management
172.
control and data path tests
173.
critical data studies
174.
cross-border data exchange
175.
data
176.
data assimilation
177.
data protection
178.
data acquisition
179.
data acquisition system
180.
data acquisition systems
181.
data aggregation
182.
data alignment
183.
Data Altruism
184.
Data Altruism Consent
185.
data analysis
186.
data analytics
187.
data analytics and machine learning
188.
data and information security
189.
data anisotropy
190.
data annotation
191.
data assimilation
192.
data attacks
193.
data augmentation
194.
data breach handling
195.
data capabilities
196.
data capture
197.
data center
198.
data center (DC)
199.
data center applications
200.
data centers
201.
data centre
202.
data centres
203.
data classification
204.
data clustering
205.
data collection
206.
data commons
207.
data compression
208.
data compression and normalization
209.
data conversion
210.
data copy
211.
data curation
212.
data curing
213.
data dictionaries
214.
data discovery
215.
Data dissemination
216.
Data distribution structure
217.
data donation
218.
Data drift
219.
data driven planning
220.
data dropouts
221.
Data Ecosystem
222.
data embassy
223.
data engineering
224.
data enrichment
225.
data envelopment analysis
226.
data ethnography
227.
data exchange
228.
data exchange framework
229.
Data exchange layers
230.
data exchange platform
231.
data experts
232.
data filtering
233.
data fitting approach
234.
data flows
235.
data fusion
236.
data generative model
237.
data governance
238.
data governance act
239.
data harmonization
240.
data hiding
241.
data integration
242.
data integrity
243.
data intermediary
244.
data Interoperability
245.
data justice
246.
data labeling
247.
data limitations in public sector
248.
data lineage
249.
data literacy
250.
data logger
251.
data logistics
252.
data management
253.
data mappings
254.
Data Mart
255.
Data Mart (DM)
256.
data mesh
257.
data migration
258.
data mining
259.
data mining and knowledge discovery
260.
data modeling
261.
data models
262.
data modem
263.
data movements
264.
data noise
265.
data offloading
266.
data ownership
267.
data platform
268.
data privacy
269.
data processing
270.
data product
271.
data protection
272.
data publishing
273.
data quality
274.
data quality management
275.
data quality maturity model
276.
data rate
277.
data representativeness
278.
data reuse
279.
data re-use
280.
data routing
281.
data scarce environments
282.
data science
283.
data scraping
284.
data security
285.
data set
286.
data set generation
287.
data sets
288.
data sharing
289.
data simulation
290.
data simultaneity
291.
data sort
292.
data sources
293.
data spaces
294.
data storage
295.
data storage systems
296.
data stream mining
297.
data streams
298.
data structures
299.
data studies
300.
data subject
301.
data subjects
302.
data synthesis
303.
data to decision
304.
data types
305.
data validity
306.
data valorization
307.
data warehouse
308.
data warenhouse
309.
data visualization
310.
data-augmentation
311.
data-based computational psychiatry
312.
data-centric construction
313.
data-centric systems
314.
data-controlled circuit partition
315.
data-controlled segmentation
316.
data-driven
317.
data-driven characterization
318.
data-driven condition monitoring
319.
data-driven control
320.
Data-driven decision-making
321.
data-driven imputation
322.
Data-driven method
323.
data-driven model
324.
data-driven modeling
325.
data-driven optimization
326.
data-driven policy
327.
data-driven public services
328.
data-driven techniques
329.
data-exchange infrastructures
330.
data-exchange solutions
331.
data‐fusion
332.
data-independent acquisition
333.
Data-information-knowledgewisdom (DIKW)
334.
data-intelligence
335.
data-mining
336.
data-science
337.
data-sharing
338.
diagnostic data
339.
digital data exchange
340.
discrete data
341.
distributed data aggregation
342.
distributed data fusion
343.
distributed data mining
344.
distributed data mining (DDM)
345.
distributional data
346.
DNA microarray data
347.
educational data mining
348.
educational data-mining
349.
enterprise data analysis
350.
European Health Data Space
351.
European Health Data Space (EHDS)
352.
eventdriven data
353.
event-driven data
354.
experimental data
355.
exploratory data analysis
356.
fair data
357.
false data injection attack
358.
field data
359.
financial data
360.
floating car data (FCD)
361.
flood data platform
362.
FMI open data
363.
functional data analysis
364.
GDPR (General Data Protection Regulation)
365.
general data protection regulation
366.
genome data
367.
global data hub
368.
GNSS-levelling data
369.
GNSS-RO data
370.
GRUAN data
371.
health data
372.
health data accessibility
373.
Health data anonymization
374.
health data custodianship
375.
health data governance
376.
health data integrity and transparency
377.
health data interoperability
378.
health data policy
379.
health data stewardship
380.
healthcare data
381.
heterogeneous sensor data
382.
high-dimensional data
383.
high-frequency data
384.
high-level test data generation
385.
historical data
386.
hyperspectral data
387.
imbalanced data
388.
implications of energy data
389.
initial data
390.
initial data for AI
391.
initial data model
392.
in-network data processing
393.
insurance data
394.
knowledge discovery and data mining
395.
linked data
396.
linked open data
397.
linked open statistical data
398.
linked data
399.
lossless data compression
400.
low-pass data filtering
401.
Master Data Management
402.
medical claims data
403.
medical data
404.
Medical Data Reuse
405.
meta-data
406.
metered data
407.
methods: data analysis
408.
microplastic data uncertainty
409.
mobile data
410.
mobile phone big data
411.
mobile phone data
412.
mobile phone usage data
413.
mobile positioning data
414.
multisource data fusion
415.
multivariate data analysis
416.
Nigeria's National data protection regulation
417.
open data
418.
open data ecosystem
419.
open data format
420.
open data policies
421.
open government data
422.
open government data (OGD)
423.
open-data
424.
open-data platform
425.
OSM data
426.
oversharing personal data
427.
panel data
428.
parallel data processing
429.
passenger data
430.
patient-generated health data (PGHD)
431.
personal data
432.
personal data disclosure
433.
personal data processing
434.
personal data protection
435.
Personal Data Protection Act
436.
plan data
437.
point cloud data
438.
pollen data
439.
process and data modelling
440.
Product Data Management (PDM)
441.
public data-set
442.
random data
443.
real-time data
444.
real-time data collection
445.
reconstruction of gap-free data
446.
reference architecture for global health data space
447.
remote data transmission
448.
satellite data
449.
security of data
450.
semantic data modelling
451.
semantic health data
452.
sequential data
453.
small data machine learning
454.
small training data set
455.
smart data analytics
456.
smart meter data
457.
social media data
458.
Spatial data
459.
spatial data analysis
460.
statistical data
461.
stochastic image data
462.
structured data
463.
student data analysis
464.
supervised learning data
465.
supervisory control and data acquisition (SCADA)
466.
surrogate data
467.
sustainable data governance
468.
sustainable data storage
469.
symbolic data
470.
symbolic data analysis
471.
synthetic data
472.
temperature historical data series
473.
three-way data
474.
time-selective data fusion
475.
training data
476.
Transcriptome data
477.
tree-like data structures
478.
underwater data center
479.
urban data
480.
urban data acquisition
481.
weather data
482.
web traffic data
483.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
484.
virtual data embassy
485.
Virtual Data Explorer
486.
18O data
487.
(big) data
märksõna
2
1.
AI powered Data Curation & Publishing Virtual Assistant (AIDAVA)
2.
Greenergy Data Centers
autor
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT