João Guerra Martins
AuthID: R-001-TRD
1
TÃTULO: Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications
AUTORES: Martins, J; Platzer, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods, ICFEM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6991 LNCS
AUTORES: Martins, J; Platzer, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods, ICFEM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6991 LNCS
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef