Vers un langage synchrone sûr et securisé / Pejman Attar ; sous la direction de Frédéric Boussinot et de Ilaria Castellani

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Compilation (informatique)

Microprocesseurs multi-coeurs

Systèmes informatiques -- Mesures de sûreté

Sémantique (philosophie)

Boussinot, Frédéric (1951-....) (Directeur de thèse / thesis advisor)

Castellani, Ilaria (Directeur de thèse / thesis advisor)

Rigault, Jean-Paul (1948-....) (Membre du jury / opponent)

Raymond, Pascal (Chercheur en informatique) (Membre du jury / opponent)

Chroboczek, Juliusz (Membre du jury / opponent)

Bugliesi, Michele (Membre du jury / opponent)

Amadio, Roberto (19..-....) (Membre du jury / opponent)

Université de Nice (1965-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (Ecole doctorale associée à la thèse / doctoral school)

Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes) (Laboratoire associé à la thèse / thesis associated laboratory)