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
Advanced search
My bookmarks
0
data flow languages (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/484)
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
481
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.
Aligned data
152.
ALS data enhancements
153.
Amazon Kinesis Data Analytics
154.
application data
155.
audio and visual data
156.
big data
157.
big data analysis
158.
big data analytics
159.
big data science
160.
big geo-data
161.
borehole data
162.
building lifecycle data
163.
call data record
164.
catalogue of data sources
165.
cellular phone data
166.
clinical data capture
167.
clinical data exchange
168.
compositional data
169.
conceptual data model
170.
construction data management
171.
control and data path tests
172.
critical data studies
173.
cross-border data exchange
174.
data
175.
data assimilation
176.
data protection
177.
data acquisition
178.
data acquisition system
179.
data acquisition systems
180.
data aggregation
181.
data alignment
182.
Data Altruism
183.
Data Altruism Consent
184.
data analysis
185.
data analytics
186.
data analytics and machine learning
187.
data and information security
188.
data anisotropy
189.
data annotation
190.
data assimilation
191.
data attacks
192.
data augmentation
193.
data breach handling
194.
data capabilities
195.
data capture
196.
data center
197.
data center (DC)
198.
data center applications
199.
data centers
200.
data centre
201.
data centres
202.
data classification
203.
data clustering
204.
data collection
205.
data commons
206.
data compression
207.
data conversion
208.
data copy
209.
data curation
210.
data dictionaries
211.
data discovery
212.
Data dissemination
213.
Data distribution structure
214.
data donation
215.
Data drift
216.
data driven planning
217.
data dropouts
218.
Data Ecosystem
219.
data embassy
220.
data engineering
221.
data enrichment
222.
data envelopment analysis
223.
data ethnography
224.
data exchange
225.
data exchange framework
226.
Data exchange layers
227.
data exchange platform
228.
data experts
229.
data filtering
230.
data fitting approach
231.
data flows
232.
data fusion
233.
data generative model
234.
data governance
235.
data governance act
236.
data harmonization
237.
data hiding
238.
data integration
239.
data integrity
240.
data intermediary
241.
data Interoperability
242.
data justice
243.
data labeling
244.
data limitations in public sector
245.
data lineage
246.
data literacy
247.
data logger
248.
data logistics
249.
data management
250.
data mappings
251.
Data Mart
252.
Data Mart (DM)
253.
data mesh
254.
data migration
255.
data mining
256.
data mining and knowledge discovery
257.
data modeling
258.
data models
259.
data modem
260.
data movements
261.
data noise
262.
data offloading
263.
data ownership
264.
data platform
265.
data privacy
266.
data processing
267.
data product
268.
data protection
269.
data publishing
270.
data quality
271.
data quality management
272.
data quality maturity model
273.
data rate
274.
data representativeness
275.
data reuse
276.
data re-use
277.
data routing
278.
data scarce environments
279.
data science
280.
data scraping
281.
data security
282.
data set
283.
data set generation
284.
data sets
285.
data sharing
286.
data simulation
287.
data simultaneity
288.
data sort
289.
data sources
290.
data spaces
291.
data storage
292.
data storage systems
293.
data stream mining
294.
data streams
295.
data structures
296.
data studies
297.
data subject
298.
data subjects
299.
data synthesis
300.
data to decision
301.
data types
302.
data validity
303.
data valorization
304.
data warehouse
305.
data warenhouse
306.
data visualization
307.
data-augmentation
308.
data-based computational psychiatry
309.
data-centric construction
310.
data-centric systems
311.
data-controlled circuit partition
312.
data-controlled segmentation
313.
data-driven
314.
data-driven characterization
315.
data-driven condition monitoring
316.
data-driven control
317.
Data-driven decision-making
318.
data-driven imputation
319.
Data-driven method
320.
data-driven model
321.
data-driven modeling
322.
data-driven optimization
323.
data-driven policy
324.
data-driven public services
325.
data-driven techniques
326.
data-exchange infrastructures
327.
data-exchange solutions
328.
data‐fusion
329.
data-independent acquisition
330.
Data-information-knowledgewisdom (DIKW)
331.
data-intelligence
332.
data-mining
333.
data-science
334.
diagnostic data
335.
digital data exchange
336.
discrete data
337.
distributed data aggregation
338.
distributed data fusion
339.
distributed data mining
340.
distributed data mining (DDM)
341.
distributional data
342.
DNA microarray data
343.
educational data mining
344.
educational data-mining
345.
enterprise data analysis
346.
European Health Data Space
347.
European Health Data Space (EHDS)
348.
eventdriven data
349.
event-driven data
350.
experimental data
351.
exploratory data analysis
352.
false data injection attack
353.
field data
354.
financial data
355.
floating car data (FCD)
356.
flood data platform
357.
FMI open data
358.
functional data analysis
359.
GDPR (General Data Protection Regulation)
360.
general data protection regulation
361.
genome data
362.
global data hub
363.
GNSS-levelling data
364.
GNSS-RO data
365.
GRUAN data
366.
health data
367.
health data accessibility
368.
Health data anonymization
369.
health data custodianship
370.
health data governance
371.
health data integrity and transparency
372.
health data interoperability
373.
health data policy
374.
health data stewardship
375.
healthcare data
376.
heterogeneous sensor data
377.
high-dimensional data
378.
high-frequency data
379.
high-level test data generation
380.
historical data
381.
hyperspectral data
382.
imbalanced data
383.
implications of energy data
384.
initial data
385.
initial data for AI
386.
initial data model
387.
in-network data processing
388.
insurance data
389.
knowledge discovery and data mining
390.
linked data
391.
linked open data
392.
linked open statistical data
393.
linked data
394.
lossless data compression
395.
low-pass data filtering
396.
Master Data Management
397.
medical claims data
398.
medical data
399.
Medical Data Reuse
400.
meta-data
401.
metered data
402.
methods: data analysis
403.
microplastic data uncertainty
404.
mobile data
405.
mobile phone big data
406.
mobile phone data
407.
mobile phone usage data
408.
mobile positioning data
409.
multisource data fusion
410.
multivariate data analysis
411.
Nigeria's National data protection regulation
412.
open data
413.
open data ecosystem
414.
open data format
415.
open data policies
416.
open government data
417.
open government data (OGD)
418.
open-data
419.
open-data platform
420.
OSM data
421.
oversharing personal data
422.
panel data
423.
parallel data processing
424.
passenger data
425.
patient-generated health data (PGHD)
426.
personal data
427.
personal data disclosure
428.
personal data processing
429.
personal data protection
430.
Personal Data Protection Act
431.
plan data
432.
point cloud data
433.
pollen data
434.
process and data modelling
435.
Product Data Management (PDM)
436.
public data-set
437.
random data
438.
real-time data
439.
real-time data collection
440.
reconstruction of gap-free data
441.
reference architecture for global health data space
442.
remote data transmission
443.
satellite data
444.
security of data
445.
semantic data modelling
446.
semantic health data
447.
sequential data
448.
small data machine learning
449.
small training data set
450.
smart data analytics
451.
smart meter data
452.
social media data
453.
Spatial data
454.
spatial data analysis
455.
statistical data
456.
stochastic image data
457.
structured data
458.
student data analysis
459.
supervised learning data
460.
supervisory control and data acquisition (SCADA)
461.
surrogate data
462.
sustainable data governance
463.
symbolic data
464.
symbolic data analysis
465.
synthetic data
466.
temperature historical data series
467.
three-way data
468.
time-selective data fusion
469.
training data
470.
Transcriptome data
471.
tree-like data structures
472.
underwater data center
473.
urban data
474.
urban data acquisition
475.
weather data
476.
web traffic data
477.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
478.
virtual data embassy
479.
Virtual Data Explorer
480.
18O data
481.
(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