CASE Support for Modular Verification of Synchronous Reactive Systems

  1. Javier Tuya 1
  2. Claudio de la Riva 1
  3. José R. de Diego 1
  4. José A. Corrales 1
  1. 1 Universidad de Oviedo
    info

    Universidad de Oviedo

    Oviedo, España

    ROR https://ror.org/006gksa02

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

Año de publicación: 1997

Páginas: 125-137

Congreso: International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems (2. 1997. Cesena, Italia)

Tipo: Aportación congreso

GOOGLE SCHOLAR