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

Actas:
2nd. Workshop on the SPIN Verification System

Editorial: American Mathematical Society

ISBN: 0821806807,  9780821806807

Año de publicación: 1996

Páginas: 165-183

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

Tipo: Aportación congreso

GOOGLE SCHOLAR