Modéles orientés-objet pour la vérification de systèmes concurrents sémantique en termes de M-nets d'un langage concurrent à objets /

Description

Thèse de doctorat : Informatique : Paris 12 : 2004. / Titre provenant de l'écran-titre.

Links & Downloads

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

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/491629859
Date	January 2004
Creators	Bui Thanh, Cécile Klaudel, Hanna.
Publisher	Créteil : Université de Paris-Val-de-Marne,
Source Sets	OCLC
Language	French
Detected Language	French
Source	Thèse en texte intégral