#temps-reel
Documents
Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne, Early error detection for real time applications : an approach using runtime verification
Documents
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles, Formal specification of distributed real time systems using an approach based on temporally constrained data flows
Documents
Conception conjointe optimisée de lois de contrôle et d'ordonnancement, Integrated optimal control and scheduling co-design
Documents
Matrice d’électrodes intelligentes : un outil pour améliorer les performances spatiotem- porelles des systèmes hybrides (vivant-artificiel), en boucle fermée et en temps réel, Intelligent multielectrode arrays : improving spatiotemporal performances in hybrid (living-artificial), real-time, closed-loop systems
Documents
Savoirs
Matrice d’électrodes intelligentes : un outil pour améliorer les performances spatiotem- porelles des systèmes hybrides (vivant-artificiel), en boucle fermée et en temps réel, Intelligent multielectrode arrays : improving spatiotemporal performances in hybrid (living-artificial), real-time, closed-loop systems
140 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
