Pages that link to "Item:Q5311297"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311297):
Displaying 9 items.
- Approximation and hardness results for label cut and related problems (Q630189) (← links)
- A model of the behavior of network objects in distributed computer systems (Q927441) (← links)
- Simpler and better approximation algorithms for the unweighted minimum label \(s\)-\(t\) cut problem (Q1702134) (← links)
- Models and methods for solving the problem of network vulnerability (Q1951863) (← links)
- A review of attack graph and attack tree visual syntax in cyber security (Q2197794) (← links)
- Minimum label \(s\)-\(t\) cut has large integrality gaps (Q2216106) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Indices of Power in Optimal IDS Default Configuration: Theory and Examples (Q3098091) (← links)
- (Q5146104) (← links)