Anne-Cecile Glory

According to our database¹, Anne-Cecile Glory authored at least 2 papers in 1989.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1989

Vérification de propriétés de programmes flots de données synchrones. (Properties verification of synchronous data-flow programs).

[BibT_eX]

[DOI]

PhD thesis, 1989

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.

[BibT_eX]

[DOI]

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989