João André Branqueiro Barata Martins
AuthID: R-001-TPD
1
TITLE: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
AUTHORS: Joao Martins; Andre Platzer; Joao Leite;
PUBLISHED: 2011, SOURCE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
AUTHORS: Joao Martins; Andre Platzer; Joao Leite;
PUBLISHED: 2011, SOURCE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
INDEXED IN: 
WOS
WOS