Louis Viard

According to our database¹, Louis Viard authored at least 2 papers between 2019 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Méthodes et outils pour la programmation des systèmes cyber-physiques. (Methods and tools for cyber-physical systems programming).

[BibT_eX]

[DOI]

PhD thesis, 2021

2019

A Mission Definition, Verification and Validation Architecture.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019