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/70)
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
69
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 ester chain length
15.
ascending chain condition
16.
chain model
17.
chain of check points
18.
chain of key factors (KFs)
19.
concept chain
20.
Continuous Time Markov Chain
21.
cyber kill chain
22.
demand & supply chain management
23.
digital supply chain
24.
global value chain
25.
green supply chain management
26.
legume supply chain
27.
Logistics and supply chain management
28.
long chain fatty acid (LCFA) inhibition
29.
Markov chain
30.
Markov chain process
31.
multi-chain blockchains
32.
oil shale value chain
33.
receiver chain
34.
reconfigurable scan-chain
35.
respiratory chain
36.
reverse transcription polymerase chain reaction
37.
risk event chain analyses
38.
road construction supply chain
39.
service supply chain
40.
services value chain collaboration
41.
short chain branching (SCB)
42.
short chain fatty acids
43.
short chain fatty acids (SCFA)
44.
short-chain fatty acids
45.
supplay chain
46.
supply chain
47.
supply chain (SC)
48.
supply chain competences
49.
supply chain curricula
50.
supply chain engineering
51.
supply chain integration
52.
supply chain management
53.
supply chain model framework
54.
supply chain operations reference (SCOR)
55.
supply chain operations reference (SCOR) model
56.
supply chain planning
57.
supply chain risk
58.
supply chain risk management
59.
supply chain simulation
60.
supply chain skills
61.
supply chain traceability
62.
sustainable supply chain management
63.
sustainalble supply chain management
64.
teaching supply chain management
65.
transmit chain
66.
transparent supply chain
67.
trophic chain
68.
value adding REE chain
69.
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