University of Western Macedonia
Identifiers
No identifiers captured yet.
Papers (1)
- Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+ cs.LO · 2018 · author #7
Mentions
No mention provenance yet.
Frequent Coauthors
- Anastasia Mavridou (Institute for Software Integrated Systems 1 shared papers
- Antonios Gouglidis (School of Computing 1 shared papers
- Christos Grompanopoulos (Department of Mechanical Engineering 1 shared papers
- Communications 1 shared papers
- Greece) 1 shared papers
- Kozani 1 shared papers
- Lancaster 1 shared papers
- Lancaster University 1 shared papers
- Nashville 1 shared papers
- TN 1 shared papers
- UK) 1 shared papers
- USA) 1 shared papers
- Vanderbilt University 1 shared papers