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:
2nd. Workshop on the SPIN Verification System

Editorial: American Mathematical Society

ISBN: 0821806807,  9780821806807

Any de publicació: 1996

Pàgines: 165-183

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

Tipus: Aportació congrés

GOOGLE SCHOLAR