Abstractions booléennes pour la vérification des systèmes temps-réel

Description

Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr.

Links & Downloads

1. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2007_0089_KANG.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494122959
Date	January 2007
Creators	Kang, Eun-Young Merz, Stephan.
Publisher	S. l. : S. n.,
Source Sets	OCLC
Language	French
Detected Language	French