Henrique Amaral Misson, Fernando Silvano Gonçalves et Leandro Buss Becker
Communication écrite (2019)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9781728163185 |
| URL de PolyPublie: | https://publications.polymtl.ca/45145/ |
| 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 |
| DOI: | 10.1109/sbesc49506.2019.9046084 |
| URL officielle: | https://doi.org/10.1109/sbesc49506.2019.9046084 |
| Date du dépôt: | 18 avr. 2023 15:02 |
| Dernière modification: | 08 avr. 2025 12:23 |
| 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
Actions réservées au personnel
|
Afficher document |
