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

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

Argitalpen urtea: 1997

Orrialdeak: 125-137

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

Mota: Biltzar ekarpena

GOOGLE SCHOLAR