Modèles temporels des systèmes logiques

Joseph Sifakis 1
1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
Mots-clés : Modèle tempore système logique
Document type :
Theses
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français
https://tel.archives-ouvertes.fr/tel-00010517
Contributor : Thèses Imag <>
Submitted on : Tuesday, October 11, 2005 - 4:02:50 PM
Last modification on : Monday, March 21, 2016 - 5:49:48 PM
Document(s) archivé(s) le : Friday, April 2, 2010 - 10:57:47 PM

File

tel-00010517.pdf

Identifiers

  • HAL Id : tel-00010517, version 1

Collections

UJF | UGA | TDS-MACS

Citation

Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. <tel-00010517>

Export

BibTeX | XML | endNote

Share

Metrics

Record views

1241

Document downloads

82

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr