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

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

Datum der Publikation: 1997

Seiten: 125-137

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

Art: Konferenz-Beitrag

GOOGLE SCHOLAR