Pages that link to "Item:Q1679097"

The following pages link to Verification complexity of a class of observational properties for modular discrete events systems (Q1679097):

Displaying 3 items.

• Trajectory detectability of discrete-event systems (Q1729041) (← links)
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
• Deciding detectability for labeled Petri nets (Q1737932) (← links)