JOSE ANTONIO CORRALES GONZALEZ-rekin lankidetzan egindako argitalpenak (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