Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
El acelerado desarrollo de los sistemas ciber-físicos modernos y el incremento en la complejidad de su diseño y análisis, requiere nuevas tecnologías para realizar los procesos de verificación e integración. Debido a la base matemática que los sustenta y al incremento constante en la efectividad de...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad de San Buenaventura
2011-06-01
|
| Series: | Ingenierías USBMed |
| Subjects: | |
| Online Access: | http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119 |