pith. sign in

Axel Legay (INRIA

Identifiers

  • name variant Axel Legay (INRIA 0.60 · backfill

Papers (2)

  1. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking cs.SE · 2015 · author #4
  2. Proceedings Foundations for Interface Technologies cs.LO · 2011 · author #1

Mentions

  • 1101.4266 #1 · backfill · confidence 0.70 Axel Legay (INRIA

Frequent Coauthors