Data di Pubblicazione:
2020
Tipologia CRIS:
01.02 Recensione in rivista
Keywords:
Formal Methods; Industrial Critical Systems
Elenco autori:
TER BEEK, MAURICE HENRI
Link alla scheda completa:
Link al Full Text:
Pubblicato in: