Hledat podle hodnoty vlastnosti
Z ApolloWiki
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
Seznam výsledků
- Alenka v říši divů + (Alenka v říši divů)
- Article3001 + (Comparing the Notions of Opacity for Discrete-Event Systems)
- Article3000 + (Comparing the Notions of Opacity for Discrete-Event Systems)
- Comparing the Notions of Opacity for Discrete-Event Systems + (Comparing the Notions of Opacity for Discrete-Event Systems)
- Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case + (Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case)
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
- Harry Potter a Kámen mudrců + (Harry Potter a Kámen mudrců)
- Hierarchical Supervisory Control under Partial Observation: Normality + (Hierarchical Supervisory Control under Partial Observation: Normality)
- Modeling of safe timed Petri nets by two-level (max,+) automata + (Modeling of safe timed Petri nets by two-level (max,+) automata)
- Modular Control of Discrete-Event Systems using Similarity + (Modular Control of Discrete-Event Systems using Similarity)
- On Opacity Verification for Discrete-Event Systems + (On Opacity Verification for Discrete-Event Systems)
- On Transformations among Opacity Notions + (On Transformations among Opacity Notions)
- On Verification of D-Detectability for Discrete Event Systems + (On Verification of D-Detectability for Discrete Event Systems)
- On Verification of Strong Periodic D-Detectability for Discrete Event Systems + (On Verification of Strong Periodic D-Detectability for Discrete Event Systems)
- On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems + (On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems)
- Partially Ordered Automata and Piecewise Testability + (Partially Ordered Automata and Piecewise Testability)
- Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems + (Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems)
- Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification + (Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification)
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality + (Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality)
- Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems + (Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems)
- Weak consistency of P-time event graphs + (Weak consistency of P-time event graphs)
- Zlocin a trest + (Zlocin a trest)