![]() | Monter d'un niveau |
Misson, H. A., Goncalves, 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