Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 1)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030634056, 9783030634063
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

2020 ◽  
pp. 3-19
Author(s):  
Jaime Arias ◽  
Carlos E. Budde ◽  
Wojciech Penczek ◽  
Laure Petrucci ◽  
Teofil Sidoruk ◽  
...  
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Security Attack ◽  
Multi Agent

Formalizing the Transaction Flow Process of Hyperledger Fabric

2020 ◽  
pp. 233-250
Author(s):  
Xiangyu Chen ◽  
Ximeng Li ◽  
Qianying Zhang ◽  
Zhiping Shi ◽  
Yong Guan
Keyword(s):  
Flow Process
Load More ...
Sign in / Sign up

Export Citation Format

Share Document