Showing 1 - 3 results of 3 for search 'Anastasia Mavridou', query time: 0.04s Refine Results
  1. 1
    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
    Get full text
    Article
  2. 2
    DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
    Get full text
    Article
  3. 3
    Architecture Diagrams: A Graphical Language for Architecture Style Specification
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search