Publication details

Publication details Main information Title: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications Publication date: 2011 Citation: DBLP:conf/icfem/MartinsPL11 Abstract: - In proceedings Authors: João Martins, André Platzer, João Alexandre Leite Editors: Shengchao Qin, Zongyan Qiu Book title: 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 Address: - Volume: 6991 Pages: 131-146 ISBN: 978-3-642-24558-9 ISSN: - Note: - Url address: - Export formats Plain text: 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. HTML: <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. BibTeX: @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 Full url: /publications/view.php?code=9df9e3cea51d507f7271cc20adadad8d Friendly url: /publications/view.php?code=DBLP:conf/icfem/MartinsPL11