Latest research
Model checking spatial-temporal features of cascading failures in wireless sensor networks
in ComputingSensitivity-centered preventive maintenance strategies for enhanced urban surveillance: a stochastic petri net analysis
in Computing