Bases bibliographiques Pascal et Francis

Aide

Export

Sélection :

Lien permanent
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=8987266

Méthode d'analyse de réseaux de Pétri, réseaux à files et applications aux systèmes temps réel

Autre titre
Analysis method of Petri nets, files networks, and applications of real time systems (en)
Auteur
MEMMI, Gérard
Paris 6 (Degree-grantor)
Source

Méthode d'analyse de réseaux de Pétri, réseaux à files et applications aux systèmes temps réel. 1983 ; 2Vol, 2 vol., 420 f, ref : 10 p

Domaine scientifique
Sci. math
Type de document
Thesis (Ph.D. thesis)
Langue
French
Mot clé (fr)
Langage spécification Méthodologie Réseau Pétri Système informatique Système temps réel Langage L Réseau file
Mot clé (en)
Specification language Methodology Petri net Computer system Real time system
Mot clé (es)
Metodologia
Classification
Pascal
001 Sciences exactes et technologie / 001D Sciences appliquees / 001D02 Informatique; automatique theorique; systemes / 001D02B Logiciel / 001D02B04 Systèmes informatiques et systèmes répartis. Interface utilisateur

Discipline
Computer science : theoretical automation and systems
Provenance
Inist-CNRS
Base de données
PASCAL
Identifiant INIST
8987266

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Rechercher sur le web