Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication BogdollHZ09.
Jonathan Bogdoll, Holger Hermanns
(
)
,
Lijun Zhang
:
FlowSim Simulation Benchmarking Platform
. In
QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009
, pages 211-212, 2009.
DOI
BIB