Showing 1 - 3 results of 3 for search '"atelier"', query time: 0.06s Refine Results
  1. 1
  2. 2
  3. 3

    A unified trust model for common criteria recognition arrangement for product acceptance by Mat Isa, Mohd Anuar

    Published 2018
    “…The modeling steps as follows, selecting requirements and formal specifications; implement and verify the models using Event-B and Atelier theorem prover. The verified models were simulated using ProB simulator for finding trustable CC authorizing nations using case studies from the period 1999 until 2014. …”
    Get full text
    Thesis