OLAS (SR0949SR)

Fondements opérationnels, logiques et algébriques des systèmes logiciels

FOCUS (SR0400XR) →  OLAS

Statut: Décision signée

Responsable : Davide Sangiorgi

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/10/2023 -> 30/09/2027
Dates d'évaluation :

Etablissement(s) de rattachement : U. DE BOLOGNE - UNIBO (ITALIE)
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria d'Université Côte d'Azur
Localisation : Centre Inria d'Université Côte d'Azur
Code structure Inria : 041174-0

Numéro RNSR : 202324453J
N° de structure Inria: SR0949SR

Présentation

Axes de recherche

Relations industrielles et internationales