Accueil
>
Verimag
>
Séminaires
Détails sur le séminaire
Room 206 (2nd floor, badged access)
11 février 2021 - 14h00
To be announced
par
Franck Pommereau
de IBISC - Université d'Evry
Abstract: Formal modeling and analysis for ecological systems. See author's homepage.
Navigation
Rubriques
Verimag
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Documents
Axes
Contact
Plan du site
Acces au Batiment
Actualités
ACTUALITÉS
Développement, conception et sémantique des langages de programmation
Chaire de professeur junior CNRS
Nouvelles publications
Quelques Publications Récentes
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Offres d'emploi et stages
Offres d'emploi et stages
Chaire de professeur junior CNRS
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.15
+
AHUNTSIC
[CC License]
info visites
6944888
English
Français