João Guerra Martins
AuthID: R-001-TRD
1
TITLE: Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications
AUTHORS: Martins, J; Platzer, A; Leite, J ;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Martins, J; Platzer, A; Leite, J ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef