Formal Analysis of the Wnt/β-catenin through Statistical Model Checking - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Paolo Ballarini
Mathématiques Appliquées aux Systèmes - EA 4037
CV
Emmanuelle Gallet
  • Fonction : Auteur
  • PersonId : 963524
Pascale Le Gall
Mathématiques Appliquées aux Systèmes - EA 4037
CV
Matthieu Manceny
  • Fonction : Auteur
  • PersonId : 940234
Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication

Domaines

Génie logiciel [cs.SE]

Pascale Le Gall  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01110747

Soumis le : mercredi 28 janvier 2015-19:19:21

Dernière modification le : vendredi 12 janvier 2024-10:32:05

Fichier non déposé

Dates et versions

hal-01110747 , version 1 (28-01-2015)

Identifiants

  • HAL Id : hal-01110747 , version 1

Citer

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS MAS MICS ISEP
56 Consultations
0 Téléchargements

Partager

More