Synchronous Observers and the Verification of Reactive Systems - Archive ouverte HAL
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
VERIMAG

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
amast93-pp.pdf (1.14 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pascal Raymond  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04683965

Soumis le : lundi 2 septembre 2024-14:28:01

Dernière modification le : mercredi 18 décembre 2024-10:06:34

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG
24 Consultations
29 Téléchargements

Altmetric

Partager

More