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