Publications

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

Document Type

Proceedings Paper

Year published

2011

Published

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

Volume: 6991 LNCS, Pages: 131-146

Conference

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

Indexing