697 articles – 1 Notice 
.:. Consultation > Liste des articles .:.
698 documents classés par :
Première Page Page Précédente ... 5 - 6 - 7 - 8 - 9 - 10 - 11 ... Page Suivante Page Finale
fulltext access Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques
Mekki Mokhtar A.
Université Paul Sabatier - Toulouse III (12/12/2012), David POWELL et Jérémie GUIOCHET (Dir.) [tel-00800859 - version 1]
fulltext access Processus d'identification de propriétés de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
Mekki-Mokhtar A.
Université Paul Sabatier - Toulouse III (12/12/2012), D.POWELL, J. GUIOCHET (Co-Directeur) (Dir.) [tel-00766636 - version 1]
fulltext access Verification of real time properties in fiacre language
Abid N.
INSA de Toulouse (11/12/2012), F.VERNADAT (Dir.) [tel-00782554 - version 1]
fulltext access Gestion des croyances de l'homme et du robot et architecture pour la planification et le contrôle de la tâche collaborative homme-robot
Warnier M.
INSA de Toulouse (2012-12-10), R.ALAMI (Dir.) [tel-00823287 - version 1]
fulltext access Outils microfluidiques pour la maladie d'Alzheimer: Etude de l'agrégation de l'amyloïde-B
Picot V.
Université Paul Sabatier - Toulouse III (10/12/2012), P.JOSEPH (Dir.) [tel-00797071 - version 1]
fulltext access Etude de la reconfigurabilite de circuits RF par des réseaux fluidiques. Conception et fabrication de microsystèmes, intégrés sur substrat souple
Pinon S.
Université Paul Sabatier - Toulouse III (10/12/2012), A.BOUKABACHE (Dir.) [tel-00781783 - version 1]
fulltext access Development of algorithms and architectures for driving assistance in adverse weather conditions using FPGAs
Botero-Galeano D.
INSA de Toulouse (05/12/2012), M.DEVY (Dir.) [tel-00771869 - version 1]
fulltext access Architecture sécurisée pour les systèmes d'information des avions du futur
Lastera M.
INSA de Toulouse (04/12/2012), J.ARLAT (Dir.) [tel-00938782 - version 1]
fulltext access Synthèse de correcteurs robustes périodiques à mémoire et application au contrôle d'attitude de satellites par roues à réaction et magnéto-coupleurs
Tregouet J.-F.
Institut Superieur de L' Aeronautique et de l'Espace (03/12/2012), D.ARZELIER (Dir.) [tel-00782111 - version 1]
fulltext access Sources hyperfréquences à très haute pureté spectrale à base de résonateurs optiques
Saleh K.
Université Paul Sabatier - Toulouse III (29/11/2012), O.LLOPIS (Dir.) [tel-00764917 - version 1]