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
block-chain (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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..
(2/74)
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
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
Number of records 1, displaying
1 - 1
keyword
73
1.
block-chain
2.
block chain
3.
basic block
4.
block
5.
block cipher
6.
block libraries
7.
block maxima method
8.
block-based merge
9.
Mini-block power plant
10.
mining block
11.
power electronic building block
12.
resource block allocation
13.
V3 calibration block
14.
alkyl chain-length
15.
alkyl ester chain length
16.
ascending chain condition
17.
chain model
18.
chain of check points
19.
chain of key factors (KFs)
20.
Chain restaurants
21.
concept chain
22.
Continuous Time Markov Chain
23.
cyber kill chain
24.
demand & supply chain management
25.
digital supply chain
26.
global value chain
27.
green supply chain management
28.
legume supply chain
29.
Logistics and supply chain management
30.
long chain fatty acid (LCFA) inhibition
31.
Markov chain
32.
Markov chain process
33.
multi-chain blockchains
34.
oil shale value chain
35.
on/off-chain data storages
36.
receiver chain
37.
reconfigurable scan-chain
38.
respiratory chain
39.
reverse transcription polymerase chain reaction
40.
risk event chain analyses
41.
road construction supply chain
42.
service supply chain
43.
services value chain collaboration
44.
short chain branching (SCB)
45.
short chain fatty acids
46.
short chain fatty acids (SCFA)
47.
short-chain fatty acids
48.
supplay chain
49.
supply chain
50.
supply chain (SC)
51.
Supply chain adaptability
52.
supply chain competences
53.
supply chain curricula
54.
supply chain engineering
55.
supply chain integration
56.
supply chain management
57.
supply chain model framework
58.
supply chain operations reference (SCOR)
59.
supply chain operations reference (SCOR) model
60.
supply chain planning
61.
supply chain risk
62.
supply chain risk management
63.
supply chain simulation
64.
supply chain skills
65.
supply chain traceability
66.
sustainable supply chain management
67.
sustainalble supply chain management
68.
teaching supply chain management
69.
transmit chain
70.
transparent supply chain
71.
trophic chain
72.
value adding REE chain
73.
value chain
author
1
1.
Block, Heidi E.
×
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