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

March 21, 2023
Duration: 00:18:25
Number of views 4
Addition in a playlist 0
Number of favorites 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)

Tags: approach asfand clap cnrs formal gpl hifi iterative lig lvp model-driven railway systems validation yar

 Infos

Comment(s)

Loading…