Showing 1 - 3 results of 3 for search 'Anastasia Mavridou', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+ by Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

    Published 2018-06-01
    Get full text
    Article
  2. 2
    DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

    DesignBIP: A Design Studio for Modeling and Generating Systems with BIP by Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits

    Published 2018-06-01
    Get full text
    Article
  3. 3
    Architecture Diagrams: A Graphical Language for Architecture Style Specification

    Architecture Diagrams: A Graphical Language for Architecture Style Specification by Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

    Published 2016-08-01
    Get full text
    Article

Search Tools: