Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2023

Nombre de publications retournées : 2


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
11

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] S. Dal Zilio, P. Hladik, F. Ingrand, A. Mallet. A formal toolchain for offline and run-time verification of robotic systems. In Robotics and Autonomous Systems ; éd. Elsevier, 2023, vol. 159.
      https://hal.laas.fr/hal-03683044v2

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [2] S. Pillement, M. Mendez Real, P. Juliette, N. T., S. Faucou, J. Béchennec, M. Briday, S. Girbal, J. Le Rhun, O. Gilles, D. Gracia Pérez, A. Sintzoff, J. Coulon. Securing a RISC-V architecture: A dynamic approach. In DATE Conference 2023, avril 2023, Antwerp, Belgique.
      https://hal.science/hal-03906564
Copyright : LS2N 2017 - Mentions Légales - 
 -