research
∙
04/07/2021
Maximal and minimal dynamic Petri net slicing
Context: Petri net slicing is a technique to reduce the size of a Petri ...
share
research
∙
10/01/2018
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
This volume constitutes the pre-proceedings of the 26th International Wo...
research
∙
02/12/2018
Erlang Code Evolution Control (Use Cases)
The main goal of this work is to show how SecEr can be used in different...
research
∙
09/15/2017