Publicações

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

AuthID
P-008-10Q

Author(s)

Martins, J

Platzer, A

Leite, J

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 6991 LNCS, Páginas: 131-146

Conference

13Th International Conference on Formal Engineering Methods, Icfem 2011, Date: 26 October 2011 through 28 October 2011, Location: Durham, Patrocinadores: Formal Methods Europe (FME);Microsoft Research Limited;Teesside University

Indexing