Search
Now showing items 1411-1420 of 1437
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
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
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
(1993) Communication / Conférence
A conceptual framework for man--machine cooperation in a supervisory control problem.
(1992-11) Communication / Conférence
Solving vertex cover, independent set and related problems by a Boltzmann machine.
(1992) Communication / Conférence
An Efficient Computation of Structural Relations in Unary Regular Nets.
(1992) Communication / Conférence