@inproceedings{johansson2010d,
isbn = {978-3-642-16560-3},
series = {Lecture Notes in Computer Science},
year = {2010},
volume = {6416},
date = {October 18-20},
pages = {30-31},
publisher = {Springer-Verlag},
title = {Self-adaptation and Evolution by Learning -- Description of EternalS Task Force 3},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
author = {Richard Johansson},
%booktitle = {ISoLA 2010, Part II, LNCS 6416},
editor = {T. Margaria and B. Steffen},
address = {Berlin / Heidelberg},
}
Richard Johansson (richard.johanssongu.se)
|