Modelling and statistical model checking of a microgrid
| Title | Modelling and statistical model checking of a microgrid |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Chakraborty, S, Katoen, J-P, Sher, F, Strelec, M |
| Journal | {STTT} |
| Volume | 17 |
| Pagination | 537–554 |
| URL | http://dx.doi.org/10.1007/s10009-014-0345-y |
| DOI | 10.1007/s10009-014-0345-y |
Work Package:
WP1
