Skip navigation links

Package ptolemy.domains.modal.kernel.ia

Support for Interface Automatons.

See: Description

Package ptolemy.domains.modal.kernel.ia Description

Support for Interface Automatons. Interface automata is an automata model defined by de Alfaro and Henzinger in the paper "Interface Automata".

Since:
Ptolemy II 2.0
Skip navigation links