Basile D.
CNR-ISTI, Pisa, Italy
The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.
Contract automata, Synthesis, Supervisory, Behavioral contracts
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
CNR authors
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:456740