Tripakis, Stavros (19..-.... ; auteur en informatique)

Tripakis, Stavros (19..-.... ; auteur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 124445691

URI de l'entité : http://www.idref.fr/124445691/id

Notice de type Personne

Point d'accès autorisé

Tripakis, Stavros (19..-.... ; auteur en informatique)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Grèce

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Auteur(e) d'une thèse de doctorat en informatique (Grenoble 1, 1998 ; 253)

Note publique d'information :

Directeur de thèse en informatique à l'Université Joseph Fourier de Grenoble

Identifiants externes

Identifiant ORCID : 0000-0002-1777-493X

Identifiant VIAF : http://viaf.org/viaf/90922624

Identifiant ISNI : 0000000065416227

Source

Formal methods for distributed real-time systems / Mahieddine Dellabani ; sous la direction de Saddek Bensalem et coencadrée par Jaques Combaz.Thèse de doctorat : Informatique : Grenoble Alpes : 2018

Information trouvée : Professeur, en poste à l'Université de Aalto (Finlande) en 2018

Formal modeling and analysis of timed systems: 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011: proceedings / Uli Fahrenberg, Stavros Tripakis (eds.), 2011

Information trouvée : University of California, Berkeley (2011)

L'analyse formelle des systèmes temporisés en pratique / Stavros Tripakis ; sous la direction de Joseph Sifakis, 1998. - Thèse de doctorat : Informatique : Grenoble 1 : 1998 ; 253

Test de systèmes temps-réel à base de modèle [Thèse 2007]/Moez Krichen

... Références liées : ...