Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68

Autor: Cunin, Pierre-Yves, Simonet, Michel, Voiron, Jacques

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00010530
http://tel.archives-ouvertes.fr/docs/00/04/85/97/PDF/tel-00010530.pdf

A la rencontre d'entrepreneurs innovants

Autor: Dulac, Gérald, Hollard, Michel, Matt, Mireille, Voiron, Jacques

Publikováno v: Réinventer la ville. Regards croisés sur Grenoble
Daniel Bloch. Réinventer la ville. Regards croisés sur Grenoble, Presses Universitaires de Grenoble (PUG), pp.85-108, 2013, 9782706118272
Réinventer la ville. Regards croisés sur Grenoble, Presses Universitaires de Grenoble (PUG), 192 p., 2013, 9782706118272

Chapitre 4; National audience; Les entreprises ont joué un rôle majeur dans le développement de la région grenobloise au cours du vingtième siècle dans des secteurs comme la ganterie, la chimie, les industries liées à l'énergie hydraulique e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3007063493d3d0afc9b97b7eb0b6ebf3
https://hal.archives-ouvertes.fr/hal-01064097

Compilation et vérification de programme LOTOS

Autor: Garavel, Hubert. Voiron, Jacques.

Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1989.
Titre provenant de l'écran-titre. Bibliogr. p.[259]-265.

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00004339

ALDEBARAN un système de vérification par réduction de processus communicants

Autor: Fernandez, Jean-Claude Voiron, Jacques. Krakowiak, Sacha. Trilling, Laurent. Sifakis, Joseph.

Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1988.
Titre provenant de l'écran-titre. Bibliogr. p. 163-166.

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00326157

Compilation et vérification de programmes LOTOS

Autor: Garavel, Hubert

Publikováno v: Autre [cs.OH]. Université Joseph-Fourier-Grenoble I, 1989. Français. ⟨NNT : ⟩
Autre [cs.OH]. Université Joseph-Fourier-Grenoble I, 1989. Français

LOTOS (Language Of Temporal Ordering Specification) is a language forthe description of concurrent and communicating systems, standardized by ISOand CCITT to allow formal definition of telecommunication protocols andservices. LOTOS is based on algebr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fec957fb7c2475c66b8fae254000c39a
https://theses.hal.science/tel-00004339/file/tel-000043391.pdf