Data di Pubblicazione:
2021
Abstract:
The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.
Tipologia CRIS:
05.11 Software
Keywords:
Contract automata; Synthesis; Supervisory; Behavioral contracts
Elenco autori:
Basile, Davide
Link alla scheda completa: