Se connecter
|
Intranet
|
Annuaire
|
Informations pratiques
Formulaire de recherche
Rechercher
English
Français
Menu
Qu'est-ce que le LAAS ?
Présentation du laboratoire
Documents stratégiques
Organigramme
Histoire
Partenaires
Offres d'emploi
Laboratoire d'analyse et d'architecture des systèmes
Accueil
Scientifiques
Offres d'emploi
Actualités scientifiques
Prix et récompenses scientifiques
Publications et rapports
Soutenances
Séminaires
LAAS Research and Technology Events
Plates-formes
Etudiants
Offres d'emploi
Formation par la recherche
Ecoles doctorales, masters et écoles d'ingénieur
Entreprises
Les start-ups
Laboratoires communs
Associations partenaires
Pôles de compétitivité
Plates-formes
Informations pratiques
Grand public
Focus annuel LAAS
Fête de la science
50 ans du LAAS-CNRS
Ressources vidéos
Annuaire du LAAS
Nicolas AMAT
Equipe, Service ou Laboratoire commun
VERTICS - VERification des Systèmes Temporisés CritiqueS
Coordonnées
Email :
Email address protected by JavaScript.
Please enable JavaScript to contact this user.
Téléphone : 05 61 33 63 63
Liens
Page personnelle
Publications
English
Français
