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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/61)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
Seotud publikatsioonid
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
61
1.
block-chain
2.
block chain
3.
basic block
4.
block
5.
block libraries
6.
block maxima method
7.
block-based merge
8.
Mini-block power plant
9.
mining block
10.
power electronic building block
11.
resource block allocation
12.
V3 calibration block
13.
alkyl ester chain length
14.
chain model
15.
chain of check points
16.
chain of key factors (KFs)
17.
concept chain
18.
Continuous Time Markov Chain
19.
cyber kill chain
20.
demand & supply chain management
21.
digital supply chain
22.
global value chain
23.
green supply chain management
24.
legume supply chain
25.
Logistics and supply chain management
26.
long chain fatty acid (LCFA) inhibition
27.
Markov chain
28.
Markov chain process
29.
oil shale value chain
30.
reconfigurable scan-chain
31.
respiratory chain
32.
reverse transcription polymerase chain reaction
33.
road construction supply chain
34.
service supply chain
35.
services value chain collaboration
36.
short chain branching (SCB)
37.
short chain fatty acids
38.
short chain fatty acids (SCFA)
39.
short-chain fatty acids
40.
supplay chain
41.
supply chain
42.
supply chain (SC)
43.
supply chain competences
44.
supply chain engineering
45.
supply chain integration
46.
supply chain management
47.
supply chain model framework
48.
supply chain operations reference (SCOR)
49.
supply chain operations reference (SCOR) model
50.
supply chain planning
51.
supply chain risk
52.
supply chain risk management
53.
supply chain simulation
54.
supply chain skills
55.
supply chain traceability
56.
sustainable supply chain management
57.
sustainalble supply chain management
58.
teaching supply chain management
59.
transmit chain
60.
value adding REE chain
61.
value chain
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT