Licence Creative Commons An Iterative Formal Model-Driven Approach to Railway Systems Validation

21 mars 2023
00:18:25
Nombre de vues 8
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)

  • An Iterative Formal Model-Driven Approach to Railway Systems Validation

Asfand YAR (Laboratoire d'Informatique de Grenoble)

Mots clés : approach asfand clap cnrs formal gpl hifi iterative lig lvp model-driven railway systems validation yar

Commentaire(s)