More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-2 of 2 results

  • www.lix.polytechnique.fr
  • 6
  • 3
  • 24
Formal Methods for the analysis of security properties. Model-checking, Model-Based Testing, Supervisory Control and quantitative analysis for information flow properties. Modal Logic and Games for the design of secure systems...
Relevance: 7.8917255
  • software.imdea.org
  • 1
  • 280
The IMDEA Software Institute is part of IMDEA, the Madrid Institutes for Advanced Studies, a network of international research centers in the Madrid region for research of excellence in areas of high economic impact... Madrid Institute for Advanced..
Relevance: 1.5904617