Search
Now showing items 2911-2920 of 2999
Assessment of ESTELLE and EDT Through Real Case Studies.
(1993) Communication / Conférence
Evaluation paramétrée de formules de logique temporelle.
(1993) Communication / Conférence
Quelques étapes vers la conciliation de la théorie d'approximation et celle d'optimisation : une nouvelle théorie d'approximation polynomiale et résultats préliminaires.
(1993) Article accepté pour publication ou publié
A Protocol Specification Language with a High-level Petri Net Semantics.
(1993) Communication / Conférence
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
(1993) Communication / Conférence
A Distributed Algorithm for Resource Management.
(1993) Communication / Conférence
Conflict Sets in Coloured Petri nets.
(1993) Communication / Conférence
Decision science or decision-aid science?.
(1993) Article accepté pour publication ou publié
An interactive multiobjective nonlinear programming procedure.
(1993) Article accepté pour publication ou publié
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
(1993) Communication / Conférence