Treffer: GdR Génie de la Programmation et du Logiciel, Défis 2030
Title:
GdR Génie de la Programmation et du Logiciel, Défis 2030
Contributors:
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université Côte d'Azur (UniCA), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Publisher Information:
CCSD, 2021.
Publication Year:
2021
Collection:
collection:UNICE
collection:CNRS
collection:I3S
collection:LORIA2
collection:CENTRALESUPELEC
collection:UNIV-LORRAINE
collection:GENCI
collection:LORIA
collection:LORIA-FM
collection:UNIV-COTEDAZUR
collection:TEST-HALCNRS
collection:ENSIIE
collection:UNIV-COTEDAZUR_COLLECTION_DEFAUT
collection:TEST-NICE
collection:AM2I-UL
collection:CNRS
collection:I3S
collection:LORIA2
collection:CENTRALESUPELEC
collection:UNIV-LORRAINE
collection:GENCI
collection:LORIA
collection:LORIA-FM
collection:UNIV-COTEDAZUR
collection:TEST-HALCNRS
collection:ENSIIE
collection:UNIV-COTEDAZUR_COLLECTION_DEFAUT
collection:TEST-NICE
collection:AM2I-UL
Subject Terms:
Original Identifier:
HAL: hal-03097727
Document Type:
E-Ressource
preprint<br />Preprints<br />Working Papers
Language:
French
Relation:
Access URL:
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edshal.hal.03097727v1
Database:
HAL