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

Actes de conférence:
2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems

Année de publication: 1997

Pages: 125-137

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

Type: Communication dans un congrès