Contract automata application

Software
Data di Pubblicazione:
2021
Abstract:
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
Tipologia CRIS:
05.11 Software
Keywords:
Contract automata; Behavioural contracts; Supervisory synthesis
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/399687
Link al Full Text: