Synchronous Observers and the Verification of Reactive Systems - IMAG
Communication Dans Un Congrès Année : 1994

Synchronous Observers and the Verification of Reactive Systems

Nicolas Halbwachs
  • Fonction : Auteur
Fabienne Lagnier
  • Fonction : Auteur
Pascal Raymond
  • Fonction : Auteur
Fichier principal
Vignette du fichier
amast93-pp.pdf (1.14 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04683965 , version 1 (02-09-2024)

Identifiants

Citer

Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond. Synchronous Observers and the Verification of Reactive Systems. Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Jun 1993, Twente, Netherlands. pp.83-96, ⟨10.1007/978-1-4471-3227-1_8⟩. ⟨hal-04683965⟩
24 Consultations
29 Téléchargements

Altmetric

Partager

More