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