Portal del Investigador
Formal verification of distributed system using an executable C model
Más información
| Título de la Revista: | IEEE Latin America Transactions |
| Editorial: | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
| Fecha de publicación: | 2016 |
| Página de inicio: | 2872 |
| Página final: | 2876 |