Memory safety for synchronous reactive programming
Les langages réactifs synchrones constituent un excellent choix pour la programmation de l'IoT en raison de leur sémantique claire pour l'interaction entre le système et l'environnement. Cependant, en ce qui concerne les systèmes critiques en termes de sécurité ou contraints en ressou...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | , , , , , , |
| বিন্যাস: | Thèse numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
2024.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès au texte intégral https://theses.univ-orleans.fr/public/2024ORLE1002_va.pdf http://www.theses.fr/2024ORLE1002/abes https://theses.hal.science/tel-04546776 |
| টীকা: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Abdelmalek Benzekri (Président du jury) ; Wadoud Bousdira, Frédéric Loulergue, Frédéric Gava (Membre(s) du jury) ; Julien Signoles, Fabrice Mourlin (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Sécurité de la mémoire pour la programmation réactive synchrone |