Henrique Amaral Misson, Fernando Silvano Gonçalves and Leandro Buss Becker
Paper (2019)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9781728163185 |
| PolyPublie URL: | https://publications.polymtl.ca/45145/ |
| Conference Title: | 9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019) |
| Conference Location: | Natal, Brazil |
| Conference Date(s): | 2019-11-19 - 2019-11-22 |
| Publisher: | IEEE |
| DOI: | 10.1109/sbesc49506.2019.9046084 |
| Official URL: | https://doi.org/10.1109/sbesc49506.2019.9046084 |
| Date Deposited: | 18 Apr 2023 15:02 |
| Last Modified: | 08 Apr 2025 12:23 |
| Cite in APA 7: | Amaral Misson, H., Gonçalves, F. S., & Becker, L. B. (2019, November). Applying Integrated Formal Methods on CPS Design [Paper]. 9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019), Natal, Brazil (8 pages). https://doi.org/10.1109/sbesc49506.2019.9046084 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
