Communication Dans Un Congrès Année : 1994

Synchronous Observers and the Verification of Reactive Systems

Nicolas Halbwachs
  • Fonction : Auteur
  • PersonId : 844681
Fabienne Lagnier
  • 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)
Licence

Dates et versions

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

Licence

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⟩
115 Consultations
210 Téléchargements

Altmetric

Partager

  • More