Un langage imperatif de programmation au niveau tache : definition en logique temporelle
Abstract
Disponible dans les fichiers attachés à ce document
Reports
(Research Report)
Year : 1991
Rapport De Recherche Inria : Connect in order to contact the contributor
https://hal.inria.fr/inria-00075154
Submitted on : Wednesday, May 24, 2006-5:33:53 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Tuesday, April 12, 2011-6:10:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00075154 , version 1
Cite
Eric Rutten, Lionel Marce. Un langage imperatif de programmation au niveau tache : definition en logique temporelle. [Rapport de recherche] RR-1406, INRIA. 1991. ⟨inria-00075154⟩
Collections
61
View
46
Download