Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
2011
DBLP:conf/icfem/MartinsPL11
-
In proceedings
João Martins, André Platzer, João Alexandre Leite
Shengchao Qin, Zongyan Qiu
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Lecture Notes in Computer Science
Springer
-
6991
131-146
978-3-642-24558-9
-
-
-
Export formats
João Martins and André Platzer and João Alexandre Leite, Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications, in: Shengchao Qin and Zongyan Qiu (eds), Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 6991, ISBN 978-3-642-24558-9, Pag. 131-146, 2011.
<a href="/people/members/view.php?code=db5a83f742c71807382f3f26a4c7ebf0" class="author">João Martins</a>, André Platzer and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <b>Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications</b>, in: Shengchao Qin and Zongyan Qiu (eds), <u>Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6991, ISBN 978-3-642-24558-9, Pag. 131-146, 2011.
@inproceedings {DBLP:conf/icfem/MartinsPL11, author = {Jo{\~a}o Martins and Andr{\'e} Platzer and Jo{\~a}o Alexandre Leite}, editor = {Shengchao Qin and Zongyan Qiu}, title = {Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {6991}, pages = {131-146}, isbn = {978-3-642-24558-9}, year = {2011}, }
Publication's urls
/publications/view.php?code=9df9e3cea51d507f7271cc20adadad8d
/publications/view.php?code=DBLP:conf/icfem/MartinsPL11
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT