QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.

Camille Fayollas, Clia Martinie, Philippe A. Palanque, Yamine At Ameur

Browse the full Interact paper archive.