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:
2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems

Any de publicació: 1997

Pàgines: 125-137

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

Tipus: Aportació congrés

GOOGLE SCHOLAR