Modèles temporels des systèmes logiques - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1974

temporal Models of logic systems

Modèles temporels des systèmes logiques

Domaines

Modélisation et simulation Autre [cs.OH]
Fichier principal
Vignette du fichier
tel-00010517.pdf (5.18 Mo) Télécharger le fichier

Thèses Imag  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00010517

Soumis le : mardi 11 octobre 2005-16:02:50

Dernière modification le : jeudi 4 avril 2024-18:27:21

Archivage à long terme le : vendredi 2 avril 2010-22:57:47

Télécharger pour visualiser

Dates et versions

tel-00010517 , version 1 (11-10-2005)

Identifiants

  • HAL Id : tel-00010517 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS UJF TDS-MACS
545 Consultations
145 Téléchargements

Partager

Gmail Facebook X LinkedIn More