Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre

Description

Thèse de doctorat : Informatique : Paris Est : 2008. Thèse de doctorat : Informatique : Université de Saint-Pétersbourg : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.

Links & Downloads

1. http://doxa.scd.univ-paris12.fr:80/theses/th0494678.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495260100
Date	January 2008
Creators	Vassiliev, Pavel Beauquier, Danièle Soloviev, Igor.
Publisher	S. l. : S. l. : S. n. ; S. n.,
Source Sets	OCLC
Language	French
Detected Language	French