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ů
- Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case + (inproceedings)
- Modeling of safe timed Petri nets by two-level (max,+) automata + (inproceedings)
- On Opacity Verification for Discrete-Event Systems + (inproceedings)
- On Transformations among Opacity Notions + (inproceedings)
- On Verification of Strong Periodic D-Detectability for Discrete Event Systems + (inproceedings)
- On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems + (inproceedings)
- Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification + (inproceedings)