Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030315160, 9783030315177
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Smart Contract Business Logic

2019 ◽  
pp. 228-243 ◽  
Author(s):  
Wolfgang Ahrendt ◽  
Richard Bubel ◽  
Joshua Ellul ◽  
Gordon J. Pace ◽  
Raúl Pardo ◽  
...  
Keyword(s):  
Business Logic ◽  
Smart Contract

Active Learning of Industrial Software with Data

2019 ◽  
pp. 95-110
Author(s):  
Lisette Sanchez ◽  
Jan Friso Groote ◽  
Ramon R. H. Schiffelers
Keyword(s):  
Active Learning ◽  
Industrial Software

scholarly journals Logics for Petri Nets with Propagating Failures

2019 ◽  
pp. 145-157
Author(s):  
Leandro Gomes ◽  
Alexandre Madeira ◽  
Mario Benevides
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document