Matching Pa-uCo

URI: MP-Pa-uCo

Package: IoT

< prev | next >

Description: Finds a client Process that amends (but does not update) an IoT Controller, along with its control input Data and onboard communication Process.

Root Pattern: R-PaCo

MP-Pa-uCo
R-PaCo

Finds a client Process that amends an IoT Controller, along with its control input Data and onboard communication Process.

        (empty)