Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS

From MaRDI portal
Publication:3527271