C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
Chanwook Oh
Nikhil Naik
Zamira Daw
Timothy E. Wang
Pierluigi Nuzzo
Published in:
SAFECOMP (2022)
Keyphrases
</>
semi automated
supply chain
network analysis
information security
multi agent systems
stochastic optimization
complex networks
network structure
fully automated
monte carlo
semi automatic
heterogeneous networks
cellular networks
data mining
network topologies
network size
network parameters
stochastic programming