Loading... 2 0 20 0 false
 
Name
Laranjeiro, Nuno
 
Loading... 3 0 20 0 false

Publications
(All)

Refined By:
Fulltext:  Com Texto completo
Subject:  dependability
Subject:  formal verification

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)TypeAccess
120-Jun-2020Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart ContractsHajdu, Ákos; Ivaki, Naghmeh ; Kocsis, Imre; Klenik, Attila; Gönczy, László; Laranjeiro, Nuno ; Madeira, Henrique ; Pataricza, AndrásarticleopenAccess