modeling-analysis

1 talk tagged with this topic.

Filters+

Loading filters…

1–1 of 1 talk · loading…

Sort

Strange Loop·39 min

STRANGE LOOP
Blue Team
Date: 2022
Location: Strange Loop

"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)

Discusses formal Modeling and Analysis of Distributed Systems by Ankush Desai (Strange Loop 2022) and evaluates key implications for security practitioners.

formal-modelingmodeling-analysisanalysis-distributed+2