Contribution à la modélisation et à l'analyse du comportement des Systèmes complexes : Cas d'un système biologique
Loading...
Authors
Collections
Date
Abstract
Description
Keywords
Réseaux de Pétri, Modélisation, Transformation, IDM, Simulation, Vérification
formelle, Biologie des systèmes, SBGN-HEPN