Documents publiés en "2019"

Pour citer ou exporter
Nombre de documents: 1

Département de génie informatique et génie logiciel

Amaral Misson, H., Gonçalves, F. S., & Becker, L. B. (novembre 2019). Applying Integrated Formal Methods on CPS Design [Communication écrite]. 9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019), Natal, Brazil (8 pages). Lien externe

Liste produite: Tue Oct 20 09:14:06 2026 EDT.