Synchronous Observers and the Verification of Reactive Systems - IMAG
Conference Papers Year : 1994

Synchronous Observers and the Verification of Reactive Systems

Nicolas Halbwachs
  • Function : Author
Fabienne Lagnier
  • Function : Author
Pascal Raymond
  • Function : Author
Fichier principal
Vignette du fichier
amast93-pp.pdf (1.14 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
13 View
5 Download

Altmetric

Share

More