Dynamic analysis of SA/RT models using SPIN and modular verification

  1. Javier Tuya 1
  2. José R. de Diego 1
  3. Claudio de la Riva 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. Workshop on the SPIN Verification System

Éditorial: American Mathematical Society

ISBN: 0821806807,  9780821806807

Année de publication: 1996

Pages: 165-183

Congreso: Workshop on the SPIN Verification System (2. 1996. New Brunswick, Canadá)

Type: Communication dans un congrès

GOOGLE SCHOLAR