2021
Software
Open Access
Contract automata application
Basile D
Contract automata Behavioural contracts Supervisory synthesis
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456741,
title = {Contract automata application},
author = {Basile D},
year = {2021}
}CNR authorsLaboratories
0000-0002-7196-6609