2021
Software
Open Access
Contract automata library
Basile D
Contract automata Synthesis Supervisory Behavioral contracts
The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:456740,
title = {Contract automata library},
author = {Basile D},
year = {2021}
}CNR authorsLaboratories
0000-0002-7196-6609