Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
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

Other title
Analysis method of Petri nets, files networks, and applications of real time systems (en)
Author
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

Scientific domain
Sci. math
Document type
Thesis (Ph.D. thesis)
Language
French
Keyword (fr)
Langage spécification Méthodologie Réseau Pétri Système informatique Système temps réel Langage L Réseau file
Keyword (en)
Specification language Methodology Petri net Computer system Real time system
Keyword (es)
Metodologia
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B04 Computer systems and distributed systems. User interface

Discipline
Computer science : theoretical automation and systems
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
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

Searching the Web