Publicacions en què col·labora amb JOSE ANTONIO CORRALES GONZALEZ (2)

1997

  1. CASE Support for Modular Verification of Synchronous Reactive Systems

    2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems

1996

  1. Dynamic analysis of SA/RT models using SPIN and modular verification

    2nd. Workshop on the SPIN Verification System