Vérification distribuée des systèmes temps réel

No Thumbnail Available

Files

resume_magister.pdf (203.91 KB)
 TH5232.pdf (445.58 KB)

Date

2008

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

81 p. : ill. ; 30 cm. (+ CD-Rom)

Keywords

Temps réel (informatique), Pétri, Réseaux de

Citation

URI

http://hdl.handle.net/123456789/340

Collections

Théses de Magister
Théses de Doctorat

Endorsement

Review

Supplemented By

Referenced By