Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems
Résumé
No abstract
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Pierre Boulet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00565260
Soumis le : vendredi 11 février 2011-14:41:03
Dernière modification le : vendredi 17 mai 2024-16:32:06