Formal-verification of smart-contract languages : a survey
autor
Dwivedi, Vimal Kumar
Deval, Vipin
Dixit, Abhishek
Norta, Alexander
vastutusandmed
Vimal Dwived, Vipin Deval, Abhishek Dixit, Alex Norta
allikas
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
ilmumiskoht
Singapore
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2019
leheküljed
p. 738-747
seeria-sari
Communications in computer and information science ; 1046
konverentsi nimetus, aeg
Third International Conference, ICACDS 2019, April 12–13, 2019
konverentsi toimumispaik
Ghaziabad, India
leitav
https://doi.org/10.1007/978-981-13-9942-8_68
märksõna
ontoloogiad (informaatika)
plokiahela-tehnoloogia
lepingud
tehingutöötlus (informaatika)
Scopus
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-85070229816&origin=inward&txGid=9375f1602fdd70684b0b312fc4189af5
kvartiil
Q3
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
ontological completeness
eSML
socio-technical
legal relevance
ANTLR
block-chain
smart contracts
ISSN
1865-0929
ISBN
978-981-13-9941-1
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Digiriigi tehnoloogiad ja arhitektuur