Publications
Filters: Author is Strelec, Martin [Clear All Filters]
, “Modelling and statistical model checking of a microgrid”, {STTT}, vol. 17, p. 537–554, 2015.
, “Modelling and Statistical Model Checking of a Microgrid”, in Workshop on Statistical Model Checking (SMC), 2013.
