- Tytuł:
- Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
- Autorzy:
- Temat:
-
Métodos formales
verificación formal
sistemas ciber-físicos de transporte.
Technology
Engineering (General). Civil engineering (General)
TA1-2040 - Źródło:
- Ingenierías USBMed, Vol 2, Iss 1, Pp 15-17 (2011)
- Opis pliku:
- electronic resource
- Relacje:
- http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119; https://doaj.org/toc/2027-5846
- Dostęp URL:
- https://doaj.org/article/afc65827aa594f53bef01a3699d58d52  Link otwiera się w nowym oknie
Czasopismo naukowe