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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Editors	S Qin, Z Qiu
Publisher	Springer
Pages	131-146
Volume	6991
ISBN (Print)	978-3-642-24558-9
DOIs	https://doi.org/10.1007/978-3-642-24559-6_11
Publication status	Published - 1 Jan 2011
Event	International Conference on Formal Engineering Methods (ICFEM) - Duration: 1 Jan 2011 → …

Conference	International Conference on Formal Engineering Methods (ICFEM)
Period	1/01/11 → …

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

@inproceedings{4d3ff62ad0e040ee96c44ddd6d77a4ef,

title = "Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications",

author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-24559-6_11",

language = "Unknown",

isbn = "978-3-642-24558-9",

volume = "6991",

pages = "131--146",

editor = "S Qin and Z Qiu",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

note = "International Conference on Formal Engineering Methods (ICFEM) ; Conference date: 01-01-2011",

}

TY - GEN

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

AU - Leite, João Alexandre Carvalho Pinheiro

PY - 2011/1/1

Y1 - 2011/1/1

U2 - 10.1007/978-3-642-24559-6_11

DO - 10.1007/978-3-642-24559-6_11

M3 - Conference contribution

SN - 978-3-642-24558-9

VL - 6991

SP - 131

EP - 146

BT - Lecture Notes in Computer Science

A2 - Qin, S

A2 - Qiu, Z

PB - Springer

T2 - International Conference on Formal Engineering Methods (ICFEM)

Y2 - 1 January 2011

ER -