550 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Autre .:.
35 documents classés par :
1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Synthesis of correct-by-design schedulers for hybrid systems
Soulat R.
École normale supérieure de Cachan - ENS Cachan (18/02/2014), Laurent Fribourg (Dir.) [tel-01062337 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Analyses de performance et de stabilité des réseaux de télécommunication
Junier A.
École normale supérieure de Cachan - ENS Cachan (16/12/2013), Claude Jard (Dir.) [tel-01011210 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Specification and verification of quantitative properties : expressions, logics, and automata
Monmège B.
École normale supérieure de Cachan - ENS Cachan (24/10/2013), Paul Gastin (Dir.) [tel-00957763 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Separation logic : expressiveness, complexity, temporal extension
Brochenin R.
École normale supérieure de Cachan - ENS Cachan (25/09/2013), Stéphane Demri (Dir.) [tel-00956587 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Query evaluation with constant delay
Kazana W.
École normale supérieure de Cachan - ENS Cachan (16/09/2013), Luc Segoufin (Dir.) [tel-00919786 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Implementability of distributed systems described with scenarios
Abdallah R.
École normale supérieure de Cachan - ENS Cachan (16/07/2013), Claude Jard (Dir.) [tel-00919684 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées
Morvan A.
École normale supérieure de Cachan - ENS Cachan (28/06/2013), Patrice Quinton (Dir.) [tel-00913692 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Robustness in timed automata : analysis, synthesis, implementation
Sankur O.
École normale supérieure de Cachan - ENS Cachan (24/05/2013), Nicolas Markey (Dir.) [tel-00910333 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Certification of static analysis in many-sorted first-order logic
Cornilleau P.-E.
École normale supérieure de Cachan - ENS Cachan (25/03/2013), Thomas Jensen (Dir.) [tel-00846347 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Scalable data-management systems for Big Data
Tran V.-T.
École normale supérieure de Cachan - ENS Cachan (21/01/2013), Luc Bougé (Dir.) [tel-00920432 - version 1]
STAR - Dépôt national des thèses électroniques