DMCA

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications (2011)

by João Martins , André Platzer , João Leite
Citations:3 - 0 self