Home› Method for specifying a system having a plurality of interconnected functional modules, each representing a respective abstract-state based machine, and a system so specified
Method for specifying a system having a plurality of interconnected functional modules, each representing a respective abstract-state based machine, and a system so specified