Ensuring Safety with System Level Formal Modelling.

Thierry Lecomte Mathieu Comptier Julien Molinero Perez Denis Sabatier

Published in: ISoLA (3) (2020)

Keyphrases

data sets
real time
real world
higher level
formal model
mathematical theory
database
natural language
low level
united states