Special Issue on "Quantitative Evaluation of Systems", in Leibniz
Transactions on Embedded Systems (LITES,
http://ojs.dagstuhl.de/index.php/lites)
For 12 years now, the International Conference on Quantitative
Evaluation of Systems (QEST, http://www.qest.org/) has been the leading
forum on quantitative evaluation and verification of computer systems
and networks, through stochastic models and measurements.
This is an open call for papers related to the themes of the QEST
conference series.
Submission deadline is December 1, 2015.
For more details, see the Call for Papers:
http://ojs.dagstuhl.de/public/journals/1/lites-qest-2015-cfp.pdf
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]