Pages that link to "Item:Q988163"
From MaRDI portal
The following pages link to Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163):
Displaying 5 items.
- Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca (Q605695) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Lazy slicing for state-space exploration (Q2637297) (← links)
