João André Branqueiro Barata Martins


AuthID: R-001-TPD

Publicações a aguardar confirmação

1
TÍTULO: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
AUTORES: Joao Martins; Andre Platzer; Joao Leite;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
INDEXADO EM: WOS

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service