Modèles temporels des systèmes logiques - TEL - Thèses en ligne Access content directly
Theses Year : 1974

temporal Models of logic systems

Modèles temporels des systèmes logiques

Fichier principal
Vignette du fichier
tel-00010517.pdf (5.18 Mo) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : tel-00010517 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More