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/361)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
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 and 16th 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
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
359
1.
data flow languages
2.
data flow visualization
3.
atoms of regular languages
4.
Common European Framework of Reference for Languages
5.
less-resourced languages
6.
low-resource languages
7.
object constraint languages
8.
object-oriented programming languages
9.
problem-oriented languages
10.
problem-oriented programming languages
11.
programming languages
12.
query languages
13.
regular languages
14.
semantics of programming languages
15.
under-resourced languages
16.
air flow
17.
analytical flow network analysis
18.
base flow
19.
bidirectional power flow
20.
bidirectional power flow control
21.
bioinspired flow sensing
22.
blood flow
23.
cash flow
24.
cash flow analysis
25.
channel flow
26.
compensatory flow
27.
compressible flow
28.
constant acceleration flow
29.
continuous flow reactions
30.
dedicated flow
31.
DHW Design Flow Rate
32.
discounted cash flow techniques
33.
Distributed flow monitoring
34.
ecological flow
35.
electric load flow
36.
elongational flow
37.
flow
38.
flow (dynamics)
39.
flow alteration
40.
flow analysis
41.
flow angle
42.
flow assessment methods
43.
flow chemistry
44.
flow compressibility
45.
flow cytometry
46.
flow direction
47.
flow discharges
48.
flow duct
49.
flow experiments
50.
flow limiter
51.
flow mass loading
52.
flow measurement
53.
flow measurements
54.
flow network analysis
55.
flow network parameters
56.
flow of the “gas–solid particles” type
57.
flow packaging materials
58.
flow patterns
59.
flow rate control
60.
flow refuges
61.
flow regime
62.
flow regulating valve
63.
flow sensing
64.
flow sheet
65.
flow simulations
66.
flow system
67.
Flow theory
68.
flow velocity
69.
flow-based modelling
70.
flow-focusing junction
71.
flow-refuge
72.
flow-regime transition
73.
flow-trough system
74.
fluid flow control
75.
fluid flow control
76.
fluid flow measurements
77.
fluid flow simulation
78.
free-surface flow
79.
gas flow
80.
gas flow dynamics
81.
gene flow
82.
geostrophic air-flow
83.
groundwater flow
84.
Heat flow
85.
information flow control
86.
internal-flow hydraulic modelling
87.
laminar and turbulent flow
88.
lateral flow
89.
liquid metal flow
90.
Mass flow rate
91.
Material flow analysis
92.
microscopic traffic flow model
93.
mixed flow
94.
multiphase flow
95.
multi-phase flow
96.
non-isothermal turbulent flow
97.
particulate channel flow
98.
particulate flow
99.
pipe flow
100.
power flow
101.
power flow equations
102.
power-flow equations
103.
project cash flow
104.
pulsatile flow
105.
relative cerebral blood flow
106.
reverse power flow
107.
segmented flow
108.
shear flow
109.
signal flow graphs
110.
start-up flow
111.
start-up pipe flow
112.
steady-state flow rheology
113.
stratified flow
114.
traffic flow
115.
traffic flow assignment
116.
transient flow
117.
transient pipe flow
118.
turbulent flow
119.
two-directional flow regulating valve
120.
two-phase flow
121.
ulsatile Flow
122.
Unified power flow controller (UPFC)
123.
unsteady flow
124.
water flow
125.
water flow correction
126.
water flow rate
127.
flow assurance
128.
accident data
129.
AIS data
130.
ALS data enhancements
131.
application data
132.
audio and visual data
133.
big data
134.
big data analysis
135.
big data analytics
136.
borehole data
137.
clinical data capture
138.
conceptual data model
139.
control and data path tests
140.
critical data studies
141.
cross-border data exchange
142.
data
143.
data assimilation
144.
data protection
145.
data acquisition
146.
data acquisition system
147.
data aggregation
148.
data alignment
149.
data analysis
150.
data analytics
151.
data anisotropy
152.
data annotation
153.
data assimilation
154.
data augmentation
155.
data center
156.
data centers
157.
data centres
158.
data classification
159.
data clustering
160.
data collection
161.
data commons
162.
data compression
163.
data conversion
164.
data copy
165.
data dictionaries
166.
data discovery
167.
Data dissemination
168.
Data distribution structure
169.
Data drift
170.
data driven planning
171.
data embassy
172.
data engineering
173.
data envelopment analysis
174.
data ethnography
175.
data exchange
176.
data exchange framework
177.
Data exchange layers
178.
data exchange platform
179.
data experts
180.
data filtering
181.
data fusion
182.
data generative model
183.
data governance
184.
data integration
185.
data integrity
186.
data justice
187.
data lineage
188.
data logger
189.
data logistics
190.
data management
191.
data mappings
192.
Data Mart
193.
data mesh
194.
data mining
195.
data modeling
196.
data models
197.
data modem
198.
data noise
199.
data ownership
200.
data platform
201.
data privacy
202.
data processing
203.
data product
204.
data protection
205.
data quality
206.
data quality management
207.
data quality maturity model
208.
data rate
209.
data reuse
210.
data re-use
211.
data science
212.
data scraping
213.
data security
214.
data sets
215.
data simulation
216.
data simultaneity
217.
data sort
218.
data sources
219.
data storage
220.
data storage systems
221.
data stream mining
222.
data streams
223.
data studies
224.
data subject
225.
data synthesis
226.
data to decision
227.
data types
228.
data validity
229.
data valorization
230.
data warehouse
231.
data warenhouse
232.
data visualization
233.
data-centric construction
234.
data-centric systems
235.
data-controlled circuit partition
236.
data-controlled segmentation
237.
data-driven
238.
data-driven characterization
239.
Data-driven method
240.
data-driven modeling
241.
data-exchange infrastructures
242.
data-exchange solutions
243.
data‐fusion
244.
data-independent acquisition
245.
Data-information-knowledgewisdom (DIKW)
246.
data-intelligence
247.
data-mining
248.
data-science
249.
diagnostic data
250.
digital data exchange
251.
discrete data
252.
distributed data aggregation
253.
distributed data fusion
254.
distributed data mining
255.
distributed data mining (DDM)
256.
DNA microarray data
257.
educational data mining
258.
eventdriven data
259.
event-driven data
260.
experimental data
261.
exploratory data analysis
262.
false data injection attack
263.
field data
264.
financial data
265.
floating car data (FCD)
266.
FMI open data
267.
functional data analysis
268.
GDPR (General Data Protection Regulation)
269.
general data protection regulation
270.
global data hub
271.
GNSS-levelling data
272.
health data
273.
Health data anonymization
274.
health data interoperability
275.
healthcare data
276.
heterogeneous sensor data
277.
high-dimensional data
278.
high-frequency data
279.
high-level test data generation
280.
historical data
281.
hyperspectral data
282.
imbalanced data
283.
implications of energy data
284.
initial data
285.
in-network data processing
286.
insurance data
287.
knowledge discovery and data mining
288.
linked data
289.
linked open data
290.
linked open statistical data
291.
linked data
292.
lossless data compression
293.
low-pass data filtering
294.
Master Data Management
295.
medical claims data
296.
medical data
297.
Medical Data Reuse
298.
meta-data
299.
microplastic data uncertainty
300.
mobile phone big data
301.
mobile phone data
302.
mobile phone usage data
303.
mobile positioning data
304.
multisource data fusion
305.
multivariate data analysis
306.
Nigeria's National data protection regulation
307.
open data
308.
open data ecosystem
309.
open data format
310.
open data policies
311.
open government data
312.
open government data (OGD)
313.
OSM data
314.
oversharing personal data
315.
panel data
316.
parallel data processing
317.
passenger data
318.
personal data
319.
personal data disclosure
320.
personal data processing
321.
personal data protection
322.
Personal Data Protection Act
323.
point cloud data
324.
process and data modelling
325.
real-time data
326.
reconstruction of gap-free data
327.
remote data transmission
328.
satellite data
329.
security of data
330.
sequential data
331.
small data machine learning
332.
smart data analytics
333.
smart meter data
334.
social media data
335.
Spatial data
336.
spatial data analysis
337.
statistical data
338.
stochastic image data
339.
structured data
340.
student data analysis
341.
supervised learning data
342.
supervisory control and data acquisition (SCADA)
343.
surrogate data
344.
sustainable data governance
345.
symbolic data
346.
symbolic data analysis
347.
synthetic data
348.
time-selective data fusion
349.
training data
350.
Transcriptome data
351.
tree-like data structures
352.
urban data
353.
urban data acquisition
354.
weather data
355.
web traffic data
356.
virtual data embassy
357.
Virtual Data Explorer
358.
18O data
359.
(big) data
autor
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
märksõna
1
1.
Greenergy Data Centers
×
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