Další formáty:
BibTeX
LaTeX
RIS
@misc{935940,
author = {Barnat, Jiří and Brim, Luboš and Bauch, Petr and Češka, Milan},
keywords = {performance analysis; compositinal modelling; minimal cycle mean},
language = {eng},
institution = {Masarykova univerzita},
organization = {Masarykova univerzita},
title = {MWC-DiVinE},
url = {http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz},
year = {2010}
}
TY -
ID - 935940
AU - Barnat, Jiří - Brim, Luboš - Bauch, Petr - Češka, Milan
PY - 2010
TI - MWC-DiVinE
KW - performance analysis
KW - compositinal modelling
KW - minimal cycle mean
UR - http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz
N2 - MWC-DiVinE is a compositional modelling and performance analysis tools build on the explicit state model checking tool DiVinE. MWC-DiVinE extends the DVE language with the possibility to specify computational resource consumption of actions of the system and allows for performance analysis employing optimal cycle mean algorithms.
ER -
BARNAT, Jiří, Luboš BRIM, Petr BAUCH a Milan ČEŠKA. \textit{MWC-DiVinE}. 2010.
|
