Explore projects

TP de Java EE "Mission Impossible"

TP de Java EE "Mission Impossible"

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)

Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)

Public resources for course 2EL 5020