---

S1  S2 ==  sub-system(P.Name  mData;S1;S2)

---

Definitions :  sub-system: sub-system(P.M[P];S1;S2),  product: x:A  B[x],  name: Name,  mData: mData
FDL editor aliases :  subsys

---

S1  \msubseteq{}  S2  ==    sub-system(P.Name  \mtimes{}  mData;S1;S2)


Date html generated: 2010_08_27-PM-08_04_24
Last ObjectModification: 2010_06_09-PM-11_19_52

Home Index