Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems

Giese, Holger

by Holger Giese

Reference:

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (Holger Giese), In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers (Fabrice Kordon, Janos Sztipanovits, eds.), Springer Verlag, volume 4322, 2007.

Bibtex Entry:

@InProceedings{Giese2007,
AUTHOR = {Giese, Holger},
TITLE = {{Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems}},
YEAR = {2007},
BOOKTITLE = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers},
VOLUME = {4322},
PAGES = {258-280},
EDITOR = {Kordon, Fabrice and Sztipanovits, Janos},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag},
PDF = {http://www.hpi.uni-potsdam.de/giese/gforge/bibadmin/uploads/pdf/Giese07_fulltext.pdf}
}