Henrique Amaral Misson, Fernando Silvano Gonçalves, Leandro Buss Becker
Communication écrite (2019)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9781728163185
Adresse URL de PolyPublie:
Nom de la conférence:
9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019)
Lieu de la conférence:
Natal, Brazil
Date(s) de la conférence:
2019-11-19 - 2019-11-22
Maison d'édition:
IEEE
URL officielle:
OAI:
oai:publications.polymtl.ca:45145
ORCID
Date du dépôt:
18 avr. 2023 15:02
Dernière modification:
14 oct. 2026 13:58
Citer en APA 7:
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). https://doi.org/10.1109/sbesc49506.2019.9046084
Statistiques
Dimensions
