Formal Verification of Distributed System Using an Executable C Model

Cifuentes, F; Bustos, J; Simmonds, J

Más información

Título de la Revista: IEEE LATIN AMERICA TRANSACTIONS
Volumen: 14
Asunto: 6
Editorial: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Fecha de publicación: 2016
Página de inicio: 2874
Página final: 2878
DOI/URL:

10.1109/TLA.2016.7555268